equal
deleted
inserted
replaced
963 if options.time: |
963 if options.time: |
964 starttime = time.time() |
964 starttime = time.time() |
965 try: |
965 try: |
966 ret, out = runner(testpath, testtmp, options, replacements, env) |
966 ret, out = runner(testpath, testtmp, options, replacements, env) |
967 except KeyboardInterrupt: |
967 except KeyboardInterrupt: |
968 log('INTERRUPTED:', test) |
968 msg = '' |
|
969 if options.time: |
|
970 endtime = time.time() |
|
971 msg = '(after %d seconds)' % (endtime - starttime) |
|
972 log('INTERRUPTED:', test, msg) |
969 raise |
973 raise |
970 if options.time: |
974 if options.time: |
971 endtime = time.time() |
975 endtime = time.time() |
972 times.append((test, endtime - starttime)) |
976 times.append((test, endtime - starttime)) |
973 vlog("# Ret was:", ret) |
977 vlog("# Ret was:", ret) |