Version
5.0-679
Branch
master
Date
8 years, 1 month ago
Windows x64 Mac OS X
Commit
e7aad130e939d9ddd281f0c93b81da1af793d82a
Change author
Markus Wick
Change description
Merge pull request #4243 from leoetlino/signal-headless

MainNoGUI: Shut down cleanly on SIGINT/SIGTERM