Finished up session termination processing; added code to track

subscriptions and clear them out when the client disconnects.


git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@189 542714f4-19e9-0310-aa3c-eee0fc999fb1

src/java/com/threerings/presents/server/ClientManager.java

@@ -1,5 +1,5 @@
 //
-// $Id: ClientManager.java,v 1.9 2001/08/04 01:54:34 mdb Exp $
+// $Id: ClientManager.java,v 1.10 2001/08/07 21:20:48 mdb Exp $
 
 package com.threerings.cocktail.cher.server;
 
@@ -140,7 +140,9 @@ public class ClientManager implements ConnectionObserver
         if (client != null) {
             Log.info("Unmapped failed client [client=" + client +
                      ", conn=" + conn + ", fault=" + fault + "].");
-            // let the client know things went haywire
+            // let the client know the connection went away
+            client.wasUnmapped();
+            // and let the client know things went haywire
             client.connectionFailed(fault);
 
         } else {
@@ -161,6 +163,9 @@ public class ClientManager implements ConnectionObserver
         if (client != null) {
             Log.info("Unmapped client [client=" + client +
                      ", conn=" + conn + "].");
+            // let the client know the connection went away
+            client.wasUnmapped();
+
         } else {
             Log.info("Closed unmapped connection? [conn=" + conn + "].");
         }