Adrien Piquerez 5d5edf2fdc Fix infinte loop when server fails to load with batch client ... Shut down server when it is waiting for user input but stdin has ended.		2021-11-11 22:35:18 +01:00
..
src	Fix infinte loop when server fails to load with batch client	2021-11-11 22:35:18 +01:00