add exception for KeyboardInterrupt to allow for manual stop without
authorStephen Soltesz <soltesz@cs.princeton.edu>
Thu, 12 Mar 2009 18:51:04 +0000 (18:51 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Thu, 12 Mar 2009 18:51:04 +0000 (18:51 +0000)
generating exception emails.


No differences found