Markus Wick e7aad130e9 Merge pull request #4243 from leoetlino/signal-headless
MainNoGUI: Shut down cleanly on SIGINT/SIGTERM
2016-09-26 13:23:39 +02:00
..
2016-08-11 12:53:44 +02:00
2016-08-11 12:53:44 +02:00
2016-07-16 22:48:46 +02:00
2016-09-11 12:51:50 -04:00
2016-07-13 17:29:27 +02:00
2016-07-13 17:29:27 +02:00
2016-07-16 22:48:46 +02:00