Florian Schmaus 665d65836c Cleanup of pingMyServer() API ... only throw NotConnectedException, otherwise return false. Before as some sort of exception was always thrown in the error case.		2014-03-28 16:20:09 +01:00
..
packet	Add automatically scheduled pings in PingManager	2014-02-26 22:03:02 +01:00
provider	Activate checkstyle and add missing license headers	2014-02-17 20:09:55 +01:00
PingFailedListener.java	Normalize newlines to '\n'	2014-02-17 23:58:40 +01:00
PingManager.java	Cleanup of pingMyServer() API	2014-03-28 16:20:09 +01:00