Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-07-27 12:35:18 -0700 (Fri, 27 Jul 2007)
Revision: 11470
Log message:

      Be more eager to unlock the "big lock" on receiving a Ctrl-C.