Remove the body to table mapping when a user leaves the table.

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

src/java/com/threerings/parlor/server/TableManager.java

@@ -1,5 +1,5 @@
 //
-// $Id: TableManager.java,v 1.2 2001/10/24 01:14:38 mdb Exp $
+// $Id: TableManager.java,v 1.3 2001/10/25 23:02:17 mdb Exp $
 
 package com.threerings.parlor.server;
 
@@ -213,6 +213,12 @@ public class TableManager
             throw new ServiceFailedException(NOT_AT_TABLE);
         }
 
+        // remove the mapping from this user to the table
+        if (_boidMap.remove(leaver.getOid()) == null) {
+            Log.warning("No body to table mapping to clear? " +
+                        "[leaver=" + leaver + ", table=" + table + "].");
+        }
+
         // either update or delete the table depending on whether or not
         // we just removed the last occupant
         if (table.isEmpty()) {