Léo Lam 3cbf3bae97 MainNoGUI: Shut down cleanly on shutdown signal ...

This is the same as PR #3991, but for MainNoGUI.

nogui/headless will shut down cleanly on SIGINT and SIGTERM, just like
it would when closing the render window.

The default signal handler will be restored after a first shutdown
signal so a second signal will exit Dolphin forcefully.

2016-09-26 11:11:20 +02:00

9.9 KiB

Raw Blame History

View Raw