Done TIMER off on break?

May 20, 2008
11,788
118
Syracuse, NY, USA
Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.