System.out.println("*** Checkpoint ("+
server.getIdentifier()+
") at "+
checkpoint);
if (alive && getFlushConfiguration() )
server.checkpoint();
if (alive && getFlushLog()) {
Logger logger = ((httpd)getServer()).getLogger();
if ( logger != null)
logger.sync();
}