-
Leigh B. Stoller authored
1) When aborting run cause of timeout, do not throw away results generated so far. 2) Indicate in the email that the run timed out. A few other minor cleanups too.
02e338d8
1) When aborting run cause of timeout, do not throw away results generated so far. 2) Indicate in the email that the run timed out. A few other minor cleanups too.