public void service(ServletRequest servletRequest, ServletResponse servletResponse)
throws ServletException, IOException {
servletResponse.setContentType("text/plain");
PrintWriter out = servletResponse.getWriter();
try {
out.println("Penrose Server:");
out.println(" - version: " + Penrose.PRODUCT_VERSION);
out.println(" - status: " + penroseServer.getStatus());
out.println();
out.println("Penrose Services:");
ServiceManager serviceManager = penroseServer.getServiceManager();
for (String serviceName : serviceManager.getServiceNames()) {
out.println(" - " + serviceName);
}
} catch (Exception e) {
System.out.println("Error: " + e.getMessage());
throw new ServletException(e);
}
out.close();
}
