# HG changeset patch
# User Ivo Smits <Ivo@UCIS.nl>
# Date 1288233004 -7200
# Node ID 0c117f08753af9a71e365c762721ae6027597f39
# Parent  57a9c660edd5dffcca9abbe26fa5d8f3f9cf849c# Parent  13b137e470cb123f4ff03fddabb6dc2179eada13
Merge branch 'master' of git://git1.somerandomnick.ano

diff -r 57a9c660edd5 -r 0c117f08753a scripts/ns2ip
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/ns2ip	Thu Oct 28 04:30:04 2010 +0200
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+opt="$1"
+if [ "x$opt" = "x-f" ]; then
+ shift
+elif ! ./scripts/check_db_safety; then
+ exit 1
+fi
+ns="$1"
+
+path="`find db/dom/ -ipath '*/ns/'\"$ns\" -size +1c | head -n 1`"
+if [ "x$path" = "x" ]; then
+ exit 1
+fi
+cat "$path"