Added development mode flag.

deb005b5 · Jim Fulton · 81cfdaaf · deb005b5
Commit deb005b5 authored Oct 21, 1998 by Jim Fulton
Show whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

lib/python/Main.py lib/python/Main.py +4 -0

No files found.
--- a/lib/python/Main.py
+++ b/lib/python/Main.py
@@ -47,6 +47,7 @@ bobo_application=app=Bobobase['Application']

 if os.environ.has_key('PRINCIPIA_HIDE_TRACEBACKS'):
    __bobo_hide_tracebacks__=os.environ['PRINCIPIA_HIDE_TRACEBACKS']
+    Globals.DevelopmentMode=1

 if os.environ.has_key('PRINCIPIA_REALM'):
    __bobo_realm__=os.environ['PRINCIPIA_REALM']
@@ -55,6 +56,9 @@ if os.environ.has_key('PRINCIPIA_REALM'):
 # Revision Log
 #
 # $Log: Main.py,v $
+# Revision 1.19  1998/10/21 14:52:34  jim
+# Added development mode flag.
+#
 # Revision 1.18  1998/08/03 14:39:30  jim
 # *** empty log message ***
 #