FinnStutzenstein 4387a56fb1 Improved reconnect handling if the server was flushed (fixed #3295). ... just ping with whoami request		2017-06-16 07:47:17 +02:00
..
core	Improved reconnect handling if the server was flushed (fixed #3295).	2017-06-16 07:47:17 +02:00