micbou 031edea89e

Improve error message when server crashes ...

Give the exact command that the user needs to type to open the server logfile
when the server unexpectedly crashes.

2017-08-18 18:15:20 +02:00

..

ycm

Improve error message when server crashes

2017-08-18 18:15:20 +02:00

test_requirements.txt

Require coverage.py older than 4.4

2017-06-04 16:42:54 +02:00