Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-07-18 15:09:10 -0700 (Wed, 18 Jul 2007)
Revision: 11331
Log message:

      [Bug 535] Handle Sys.Break ("Ctrl-C") events in thread pools - basically, once any of the threads in the jobs in the pool dies with a Ctrl-C, the whole pool becomes "poisoned" - any attempt to call wait/waitpid/create will raise the Sys.Break exception.
     
     Eventually, we should probably allow the pool to recover. Or, better yet, we should make the pool itself an explicit parameter, thus making it possible to close the "poisoned" pool, letting it die and open a fresh one instead.