ServerManagement.log.error("server " + i +
" has not been created or has already been killed, so it cannot be killed");
}
else
{
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
}
ServerManagement.log.info("Waiting for server to die");
try
{
while (true)
{
server.ping();
ServerManagement.log.debug("server " + i + " still alive ...");
Thread.sleep(100);
}
}
catch (Throwable e)