# HG changeset patch
# User Nick <nick@somerandomnick.ano>
# Date 1327029162 0
# Node ID 80b445c8c88ace5c9348d73f604e932215fe3e36
# Parent  6b43d694e4f0c40b4c05f2fabe7351c0f9e544d5
windows sucks.

diff -r 6b43d694e4f0 -r 80b445c8c88a scripts/check_db_safety
--- a/scripts/check_db_safety	Fri Jan 20 01:55:16 2012 +0000
+++ b/scripts/check_db_safety	Fri Jan 20 03:12:42 2012 +0000
@@ -18,7 +18,7 @@
    exit 1
   fi
   for ns in $dom/ns/* ; do
-   if [ "$(cat $ns | tr -d '0-9.\n' | wc -c | tr -d ' \t')" != 0 ]; then
+   if [ "$(cat $ns | tr -d '0-9.\r\n' | wc -c | tr -d ' \t')" != 0 ]; then
     domain="$(basename $dom).$(basename $tld)"
     nsname="$(basename $ns)"
     echo "There's a bad nameserver IP under $domain, for" >&2