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-06-26 12:34:59 +02:00
2016-06-24 10:41:05 +02:00