add __main__ runner

diff --git a/experiments9/doDesign.py b/experiments9/doDesign.py
index f2029df3ac0df1ff23dd82e0491df75b39420aac..06ea57a2ec44c48887b6233710f9f452ebabc43a 100644 (file)
--- a/experiments9/doDesign.py
+++ b/experiments9/doDesign.py
@@ -642,3 +642,13 @@ def scriptMain ( **kw ):
     sys.stderr.flush()
 
     return rvalue
+
+
+if __name__ == '__main__':
+    kwargs = {}
+    success = scriptMain(**kwargs)
+    shellSuccess = 0
+    if not success:
+        shellSuccess = 1
+
+    sys.exit(shellSuccess)