From afdba54f1c8f811910e64333f4ef318c29693a74 Mon Sep 17 00:00:00 2001 From: Michael Bayne Date: Thu, 25 Oct 2001 23:02:17 +0000 Subject: [PATCH] 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 | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/java/com/threerings/parlor/server/TableManager.java b/src/java/com/threerings/parlor/server/TableManager.java index 76803d833..508dce423 100644 --- a/src/java/com/threerings/parlor/server/TableManager.java +++ b/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()) {