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