svgui/pyjs/lib/sys.py
changeset 1737 a39c2918c015
parent 1736 7e61baa047f0
child 1841 9fd29e8b1393
equal deleted inserted replaced
1736:7e61baa047f0 1737:a39c2918c015
     1 # the platform name (PyV8, smjs, Mozilla, IE6, Opera, Safari etc.)
     1 # the platform name (PyV8, smjs, Mozilla, IE6, Opera, Safari etc.)
     2 platform = '' # to be updated by app, on compile
     2 platform = ''  # to be updated by app, on compile
     3 
     3 
     4 # a dictionary of module override names (platform-specific)
     4 # a dictionary of module override names (platform-specific)
     5 overrides = None # to be updated by app, on compile
     5 overrides = None  # to be updated by app, on compile
     6 
     6 
     7 # the remote path for loading modules
     7 # the remote path for loading modules
     8 loadpath = None
     8 loadpath = None
     9 
     9 
    10 stacktrace = None
    10 stacktrace = None