String fedoraServerPort = null;
// fedoraServerHost (required)
fedoraServerHost = getParameter("fedoraServerHost");
if (fedoraServerHost == null) {
throw new ServerInitializationException("Parameter fedoraServerHost "
+ "not given, but it's required.");
}
// fedoraServerPort (required)
fedoraServerPort = getParameter("fedoraServerPort");
if (fedoraServerPort == null) {
throw new ServerInitializationException("Parameter fedoraServerPort "
+ "not given, but it's required.");
}
logger.info("Fedora Version: " + Server.VERSION);
logger.info("Fedora Build Date: " + Server.BUILD_DATE);
ServerStatusFile status = getStatusFile();
try {
status.append(ServerState.STARTING,
"Fedora Version: " + Server.VERSION);
status.append(ServerState.STARTING,
"Fedora Build Date: " + Server.BUILD_DATE);
status.append(ServerState.STARTING, "Server Host Name: "
+ fedoraServerHost);
status.append(ServerState.STARTING, "Server Port: "
+ fedoraServerPort);
} catch (Exception e) {
e.printStackTrace();
throw new ServerInitializationException("Unable to write to status file: "
+ e.getMessage());
}
}