Catch all signals

Issue #431 new
Bart Bogaerts created an issue

We should catch all possible signals sent by different operating systems to avoid situations like in the ASP competition.

If you want to know how to properly catch a new signal, check https://bitbucket.org/krr/minisatid/commits/4968e3a45496db2ca4c48c9d0b168a6e72b65af9

Comments (0)

  1. Log in to comment