[Feature] Add the possibility to pause/unpause by sending OS signal #254

Merged
merged 1 commit into from Mar 14, 2012
Commits on Mar 14, 2012
  1. This implements #241.

    Barry Allard committed Mar 6, 2012
    Added a signal handler spec which may not be correct.