equal
deleted
inserted
replaced
960 env = createenv(options, testtmp, threadtmp, port) |
960 env = createenv(options, testtmp, threadtmp, port) |
961 createhgrc(env['HGRCPATH'], options) |
961 createhgrc(env['HGRCPATH'], options) |
962 |
962 |
963 if options.time: |
963 if options.time: |
964 starttime = time.time() |
964 starttime = time.time() |
965 ret, out = runner(testpath, testtmp, options, replacements, env) |
965 try: |
|
966 ret, out = runner(testpath, testtmp, options, replacements, env) |
|
967 except KeyboardInterrupt: |
|
968 log('INTERRUPTED:', test) |
|
969 raise |
966 if options.time: |
970 if options.time: |
967 endtime = time.time() |
971 endtime = time.time() |
968 times.append((test, endtime - starttime)) |
972 times.append((test, endtime - starttime)) |
969 vlog("# Ret was:", ret) |
973 vlog("# Ret was:", ret) |
970 |
974 |