108109110111112113114115116117118
{ Server server = ServerManagement.servers.get(i); ServerManagement.log.info("invoking kill() on server " + i); try { server.kill(); } catch (Throwable t) { // This is likely to throw an exception since the server dies before the response is received }