Versão
5.0-679
Branch
master
Data
8anos, 2mesesatrás
Windows x64 Mac OS X
Revisão
e7aad130e939d9ddd281f0c93b81da1af793d82a
Autor
Markus Wick
Descrição
Merge pull request #4243 from leoetlino/signal-headless

MainNoGUI: Shut down cleanly on SIGINT/SIGTERM