changeset 231:f03efd72f057 draft

Merge branch 'master' of git://git1.somerandomnick.ano
author pragmo <pragmo@pragmo.ano>
date Thu, 28 Oct 2010 02:55:59 +0000
parents 57a9c660edd5 (current diff) 13b137e470cb (diff)
children 13a2bda28047
files
diffstat 1 files changed, 15 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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"