# HG changeset patch
# User pragmo <pragmo@pragmo.ano>
# Date 1288234559 0
# Node ID f03efd72f05731a42b744bfc8d1f08d1e83f4881
# Parent  57a9c660edd5dffcca9abbe26fa5d8f3f9cf849c# Parent  13b137e470cb123f4ff03fddabb6dc2179eada13
Merge branch 'master' of git://git1.somerandomnick.ano

diff -r 57a9c660edd5 -r f03efd72f057 scripts/ns2ip
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/ns2ip	Thu Oct 28 02:55:59 2010 +0000
@@ -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"