comparison config.py @ 92:17041a71bc02

maxtime is now auto-converted to maxcputime
author Oleg Oshmyan <chortos@inbox.lv>
date Mon, 28 Feb 2011 16:10:41 +0000
parents c62c9bfd614a
children c3afa2b0c14c
comparison
equal deleted inserted replaced
91:c62c9bfd614a 92:17041a71bc02
121 if not hasattr(module, 'paddummies'): 121 if not hasattr(module, 'paddummies'):
122 try: 122 try:
123 module.paddummies = module.padwithzeroestolength[1] 123 module.paddummies = module.padwithzeroestolength[1]
124 except TypeError: 124 except TypeError:
125 module.paddummies = module.padwithzeroestolength 125 module.paddummies = module.padwithzeroestolength
126 if (not hasattr(module, 'maxcputime') and
127 not hasattr(module, 'maxwalltime') and
128 hasattr(module, 'maxtime')):
129 module.maxcputime = module.maxtime
126 for name in defaults_problem: 130 for name in defaults_problem:
127 if not hasattr(globalconf, name): 131 if not hasattr(globalconf, name):
128 setattr(module, name, getattr(module, name, defaults_problem[name])) 132 setattr(module, name, getattr(module, name, defaults_problem[name]))
129 module = Config(module, globalconf) 133 module = Config(module, globalconf)
130 if not module.dummyinname: 134 if not module.dummyinname: