Versione
5.0-679
Branch
master
Data
8 anni, 2 mesi fa
Windows x64 Mac OS X
Commit
e7aad130e939d9ddd281f0c93b81da1af793d82a
Autore
Markus Wick
Descrizione
Merge pull request #4243 from leoetlino/signal-headless

MainNoGUI: Shut down cleanly on SIGINT/SIGTERM