server/setup.py
changeset 125 46d7f17cff3d
parent 119 3922b186a5b2
child 127 036781323559
equal deleted inserted replaced
124:49b757e82488 125:46d7f17cff3d
    46 
    46 
    47     version_variables = {}
    47     version_variables = {}
    48     try:
    48     try:
    49         execfile(os.path.join(source_dirs[0], "__init__.py"), version_variables)
    49         execfile(os.path.join(source_dirs[0], "__init__.py"), version_variables)
    50     except:
    50     except:
       
    51         print("Exception in user code:")
       
    52         print("-"*60)
       
    53         traceback.print_exc(file=sys.stdout)
       
    54         print("-"*60)
    51         pass
    55         pass
    52 
    56 
    53     version = version_variables['__version__']
    57     version = version_variables['__version__']
    54 
    58 
    55     packages, data_files = [], []
    59     packages, data_files = [], []