# HG changeset patch
# User Oleg Oshmyan <chortos@inbox.lv>
# Date 1298909441 0
# Node ID 17041a71bc023770f329892f49ac673629f30e7c
# Parent  c62c9bfd614a6c92a2b1a8e1585bc13f713ec58a
maxtime is now auto-converted to maxcputime

diff -r c62c9bfd614a -r 17041a71bc02 config.py
--- a/config.py	Mon Feb 28 16:05:20 2011 +0000
+++ b/config.py	Mon Feb 28 16:10:41 2011 +0000
@@ -123,6 +123,10 @@
 				module.paddummies = module.padwithzeroestolength[1]
 			except TypeError:
 				module.paddummies = module.padwithzeroestolength
+	if (not hasattr(module, 'maxcputime') and
+	    not hasattr(module, 'maxwalltime') and
+	    hasattr(module, 'maxtime')):
+		module.maxcputime = module.maxtime
 	for name in defaults_problem:
 		if not hasattr(globalconf, name):
 			setattr(module, name, getattr(module, name, defaults_problem[name]))