293294295296297298299300301302303
{ Server server = servers[i].getServer(); 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 }
348349350351352353354355356357358
log.info("Killing spawned server " + i); try { s.kill(); } catch (Throwable t) { } servers[i] = null;
274275276277278279280281282283284
333334335336337338339340341342343
288289290291292293294295296297298
343344345346347348349350351352353