Mike Hearn 9a65d4cab8 Move ping timer cancellation to after channel close during PeerGroup shutdown. ... Check if the service is running before trying to re-ping a peer. Attempts to solve a shutdown race. Updates issue 275.		2013-01-12 14:27:49 +01:00
..
src	Move ping timer cancellation to after channel close during PeerGroup shutdown.	2013-01-12 14:27:49 +01:00
findbugs.xml	improve findbugs exclusions	2013-01-12 14:26:59 +01:00
pom.xml	Make H2 non required.	2012-12-16 13:38:46 +01:00