with_timeout.py: set default timeout to 40 seconds

This commit is contained in:
Denis Bilenko
2009-05-19 20:27:45 +07:00
parent 637116b84c
commit a0c8c7c57a

View File

@@ -41,7 +41,7 @@ if sys.argv[1:2] and sys.argv[1]=='-t':
TIMEOUT = int(sys.argv[1]) TIMEOUT = int(sys.argv[1])
del sys.argv[1] del sys.argv[1]
else: else:
TIMEOUT = 20 TIMEOUT = 40
try: try:
disabled_tests disabled_tests