From fc3d4dbd4319ddf5a01bf874ea14350a8db2889b Mon Sep 17 00:00:00 2001 From: Michael Bayne Date: Wed, 7 Nov 2001 10:47:55 +0000 Subject: [PATCH] Log a briefer description of the place manager when it's unmapped. git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@596 542714f4-19e9-0310-aa3c-eee0fc999fb1 --- .../com/threerings/crowd/server/PlaceRegistry.java | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/java/com/threerings/crowd/server/PlaceRegistry.java b/src/java/com/threerings/crowd/server/PlaceRegistry.java index 1881ee5cd..906d52593 100644 --- a/src/java/com/threerings/crowd/server/PlaceRegistry.java +++ b/src/java/com/threerings/crowd/server/PlaceRegistry.java @@ -1,5 +1,5 @@ // -// $Id: PlaceRegistry.java,v 1.15 2001/10/24 00:57:39 mdb Exp $ +// $Id: PlaceRegistry.java,v 1.16 2001/11/07 10:47:55 mdb Exp $ package com.threerings.crowd.server; @@ -202,12 +202,16 @@ public class PlaceRegistry */ protected void unmapPlaceManager (PlaceManager pmgr) { + int ploid = pmgr.getPlaceObject().getOid(); // remove it from the table - if (_pmgrs.remove(pmgr.getPlaceObject().getOid()) == null) { + if (_pmgrs.remove(ploid) == null) { Log.warning("Requested to unmap unmapped place manager " + "[pmgr=" + pmgr + "]."); + } else { - Log.info("Unmapped place manager " + pmgr + "."); + Log.info("Unmapped place manager " + + "[class=" + pmgr.getClass().getName() + + ", ploid=" + ploid + "]."); } }