Versie
5.0-679
Branche
master
Datum
8 jaar, 2 maanden geleden
Windows x64 Mac OS X
Commit
e7aad130e939d9ddd281f0c93b81da1af793d82a
Auteur
Markus Wick
Beschrijving
Merge pull request #4243 from leoetlino/signal-headless

MainNoGUI: Shut down cleanly on SIGINT/SIGTERM