130131132133134135136137138139140
serialized.delete(); } localServer.undeployDestination(true, "Queue"); localServer.stopServerPeer(); localServer.stop(); } } // Package protected ----------------------------------------------------------------------------
323324325326327328329330331332333
{ if (servers[i] != null && servers[i].isSpawned()) { Server s = servers[i].getServer(); destroyed.add(new Integer(s.getServerID())); s.stop(); s.kill(); servers[i] = null; } }