Léo Lam 90ed048532 DolphinWX: Print a message when we receive a signal
This makes it clear that sending a signal a second time will force stop
Dolphin (which is useful in case the GUI is deadlocked or otherwise
unable to react to the signal).
2016-07-09 20:27:49 +02:00
..
2016-07-08 23:30:25 +02:00
2016-01-05 19:42:02 -06:00