Léo Lam 0f028df6b2 DolphinWX: Shut down cleanly on signal
This makes DolphinWX shut down cleanly, just like it would with
File->Exit when it receives a SIGINT, SIGTERM (Unix) or some signals
on Windows.

The default signal handler will be restored after a first shutdown
signal so a second signal will exit Dolphin forcefully.
2016-07-08 23:11:27 +02:00
..
2016-01-05 19:42:02 -06:00