equal
deleted
inserted
replaced
959 starttime = time.time() |
959 starttime = time.time() |
960 try: |
960 try: |
961 ret, out = runner(testpath, testtmp, options, replacements, env) |
961 ret, out = runner(testpath, testtmp, options, replacements, env) |
962 except KeyboardInterrupt: |
962 except KeyboardInterrupt: |
963 endtime = time.time() |
963 endtime = time.time() |
964 msg = '(after %d seconds)' % (endtime - starttime) |
964 log('INTERRUPTED: %s (after %d seconds)' % (test, endtime - starttime)) |
965 log('INTERRUPTED:', test, msg) |
|
966 raise |
965 raise |
967 endtime = time.time() |
966 endtime = time.time() |
968 times.append((test, endtime - starttime)) |
967 times.append((test, endtime - starttime)) |
969 vlog("# Ret was:", ret) |
968 vlog("# Ret was:", ret) |
970 |
969 |