[haver-commits] r721 - trunk/clients/Javer2/src/org/haverdev/haver/server

[haver]

Author: bdonlan
Date: 2005-05-23 21:09:11 -0400 (Mon, 23 May 2005)
New Revision: 721

Modified:
   trunk/clients/Javer2/src/org/haverdev/haver/server/UserConnection.java
Log:
Kill ping timeout timer when connection is broken

Modified: trunk/clients/Javer2/src/org/haverdev/haver/server/UserConnection.java
===================================================================
--- trunk/clients/Javer2/src/org/haverdev/haver/server/UserConnection.java      
2005-05-24 00:36:56 UTC (rev 720)
+++ trunk/clients/Javer2/src/org/haverdev/haver/server/UserConnection.java      
2005-05-24 01:09:11 UTC (rev 721)
@@ -190,6 +190,7 @@
         writer = null;
         if (this.e != null)
             this.e.quit("disconnected", e.getMessage());
+        pingTimer.cancel();
     }
     
     public synchronized void sendLine(String[] args) {