server/setup.py
changeset 130 27c8c40d9e03
parent 128 d4e5954f2ad4
child 134 a84aa262847c
equal deleted inserted replaced
129:509d7a4c0a2b 130:27c8c40d9e03
    44     if root_dir != '':
    44     if root_dir != '':
    45         os.chdir(root_dir)
    45         os.chdir(root_dir)
    46     source_dirs = ['src']
    46     source_dirs = ['src']
    47 
    47 
    48     version_variables = {}
    48     version_variables = {}
    49     local_variables = {}
    49 
    50     try:
    50     try:
    51         with open("somefile.py") as f:
    51         version_file = os.path.join(source_dirs[0], "__init__.py")
    52             code = compile(f.read(), "somefile.py", 'exec')
    52         with open(version_file) as f:
    53             exec(code, version_variables, local_variables)
    53             code = compile(f.read(), version_file, 'exec')
       
    54             exec(code, version_variables)
    54     except:
    55     except:
    55         print("Exception in user code:")
    56         print("Exception in user code:")
    56         print("-"*60)
    57         print("-"*60)
    57         traceback.print_exc(file=sys.stdout)
    58         traceback.print_exc(file=sys.stdout)
    58         print("-"*60)
    59         print("-"*60)