python

diff --git a/lib/python/nb.py b/lib/python/nb.py
index ef4a25f86312f83c6436cdedddaceae2d82d13b6..752a0f5404b4f70d2bba8150ec87a249d18fc400 100644 (file)
--- a/lib/python/nb.py
+++ b/lib/python/nb.py
@@ -4,6 +4,12 @@ import pprint
 PP = pprint.PrettyPrinter(indent=4)
 
 # Debug message
+def die(msg,exit=0):
+    if (type(msg)) != 'str':
+      msg = PP.pformat(msg)
+    print >> sys.stderr, msg
+    sys.exit(exit)
+
 def debug(msg):
     if (type(msg)) != 'str':
       msg = PP.pformat(msg)

diff --git a/lib/python/nb.pyc b/lib/python/nb.pyc
index 79d285cf97d56ba1541015018fcc4164572b032e..5875fd59825984876436e8b4842d43b04017794f 100644 (file)
Binary files a/lib/python/nb.pyc and b/lib/python/nb.pyc differ