micbou 2b8e86797c
Improve server crash notification at startup
Notify the user if the server crashed during server polling at startup.
2017-10-05 13:12:23 +02:00
..
2017-06-21 02:32:57 +02:00
2017-06-21 02:32:57 +02:00
2017-07-07 22:45:05 +02:00
2016-05-02 23:08:32 +02:00