diff options
Diffstat (limited to 'java/src/IceInternal/RouterManager.java')
| -rw-r--r-- | java/src/IceInternal/RouterManager.java | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/java/src/IceInternal/RouterManager.java b/java/src/IceInternal/RouterManager.java index a644b762913..a34091fd479 100644 --- a/java/src/IceInternal/RouterManager.java +++ b/java/src/IceInternal/RouterManager.java @@ -18,7 +18,7 @@ public final class RouterManager synchronized void destroy() { - java.util.Iterator i = _table.values().iterator(); + java.util.Iterator i = _table.values().iterator(); while(i.hasNext()) { RouterInfo info = (RouterInfo)i.next(); @@ -57,18 +57,18 @@ public final class RouterManager public RouterInfo erase(Ice.RouterPrx rtr) { - RouterInfo info = null; - if(rtr != null) - { - // The router cannot be routed. - Ice.RouterPrx router = Ice.RouterPrxHelper.uncheckedCast(rtr.ice_router(null)); + RouterInfo info = null; + if(rtr != null) + { + // The router cannot be routed. + Ice.RouterPrx router = Ice.RouterPrxHelper.uncheckedCast(rtr.ice_router(null)); - synchronized(this) - { - info = (RouterInfo)_table.remove(router); - } - } - return info; + synchronized(this) + { + info = (RouterInfo)_table.remove(router); + } + } + return info; } private java.util.HashMap _table = new java.util.HashMap(); |