public void destroy() { stop(); // we should shutdown the destination here getDestination().shutdown(); if (null != serverRegistry) { LOG.fine("unregister the server to serverRegistry "); serverRegistry.unregister(this); } if (iMgr != null) { try { iMgr.unregister(mep); } catch (JMException jmex) { LOG.log(Level.WARNING, "Unregistering ManagedEndpoint failed.", jmex); } iMgr = null; } }
public void destroy() { stop(); // we should shutdown the destination here getDestination().shutdown(); if (null != serverRegistry) { LOG.fine("unregister the server to serverRegistry "); serverRegistry.unregister(this); } if (iMgr != null) { try { iMgr.unregister(mep); } catch (JMException jmex) { LOG.log(Level.WARNING, "Unregistering ManagedEndpoint failed.", jmex); } iMgr = null; } }
public void destroy() { stop(); // we should shutdown the destination here getDestination().shutdown(); if (null != serverRegistry) { LOG.fine("unregister the server to serverRegistry "); serverRegistry.unregister(this); } if (iMgr != null) { try { iMgr.unregister(mep); } catch (JMException jmex) { LOG.log(Level.WARNING, "Unregistering ManagedEndpoint failed.", jmex); } iMgr = null; } }
public void destroy() { stop(); // we should shutdown the destination here getDestination().shutdown(); if (null != serverRegistry) { LOG.fine("unregister the server to serverRegistry "); serverRegistry.unregister(this); } if (iMgr != null) { try { iMgr.unregister(mep); } catch (JMException jmex) { LOG.log(Level.WARNING, "Unregistering ManagedEndpoint failed.", jmex); } iMgr = null; } }
EndpointInfo ei = sr.getEndpoint().getEndpointInfo(); if (null != ei && ei.getAddress().endsWith(server.getAddress())){ registry.unregister(sr); sr.destroy();
EndpointInfo ei = sr.getEndpoint().getEndpointInfo(); if (null != ei && ei.getAddress().endsWith(server.getAddress())){ registry.unregister(sr); sr.destroy();
EndpointInfo ei = sr.getEndpoint().getEndpointInfo(); if (null != ei && ei.getAddress().endsWith(server.getAddress())){ registry.unregister(sr); sr.destroy();
EndpointInfo ei = sr.getEndpoint().getEndpointInfo(); if (null != ei && ei.getAddress().endsWith(server.getAddress())){ registry.unregister(sr); sr.destroy();