| | |
|---|
| | | import java.security.Principal;
|
|---|
| | | import java.util.logging.Level;
|
|---|
| | | import java.util.logging.Logger;
|
|---|
| | | import javax.naming.Context;
|
|---|
| | | import javax.naming.InitialContext;
|
|---|
| | | import javax.naming.NamingException;
|
|---|
| | | import javax.servlet.ServletException;
|
|---|
| | | import javax.servlet.ServletOutputStream;
|
|---|
| | | import javax.servlet.http.HttpServletRequest;
|
|---|
| | |
|---|
| | | private static final Logger logger = Logger.getLogger(ViewServlet.class.getName());
|
|---|
| | | private static final String HOME_CTX = "/home";
|
|---|
| | |
|
|---|
| | | private String getTitle() {
|
|---|
| | | String title = null;
|
|---|
| | | try { |
|---|
| | | Object object = ((Context) new InitialContext().lookup("java:comp/env")).lookup("webBoxViewTitle");
|
|---|
| | | if(object != null) {
|
|---|
| | | title = object.toString();
|
|---|
| | | logger.finer("WebBox View Titel: " + title);
|
|---|
| | | }
|
|---|
| | | } catch (NamingException ex) {
|
|---|
| | | logger.log(Level.SEVERE, null, ex);
|
|---|
| | | }
|
|---|
| | | return title;
|
|---|
| | | }
|
|---|
| | |
|
|---|
| | | private void seiteAusgeben(HttpServletRequest request, HttpServletResponse response) throws IOException, ServletException {
|
|---|
| | | ServletOutputStream out = response.getOutputStream();
|
|---|
| | | printHeader(out);
|
|---|
| | | printHeader(out, request);
|
|---|
| | | super.doGet(request, response);
|
|---|
| | | printFooter(out);
|
|---|
| | | }
|
|---|
| | |
|
|---|
| | | private void printHeader(ServletOutputStream out) throws IOException {
|
|---|
| | | private void printHeader(ServletOutputStream out, HttpServletRequest request) throws IOException {
|
|---|
| | | out.print("<!DOCTYPE html><html><head>\r\n");
|
|---|
| | | out.print("<meta name=\"viewport\" content=\"width=device-width, initial-scale=1.0\"/>\r\n");
|
|---|
| | | out.print("<link rel=\"stylesheet\" type=\"text/css\" href=\"/jslib/bootstrap/css/bootstrap.min.css\">\r\n");
|
|---|
| | | out.print("<link rel=\"stylesheet\" type=\"text/css\" href=\"/jslib/lightbox/lightbox.css\">\r\n");
|
|---|
| | | out.print("<link rel=\"stylesheet\" type=\"text/css\" href=\"stile.css\">\r\n");
|
|---|
| | | String title = getTitle();
|
|---|
| | | if(title != null) {
|
|---|
| | | out.print("<title>");
|
|---|
| | | out.print(title);
|
|---|
| | | out.print(" ");
|
|---|
| | | out.print(request.getRequestURI());
|
|---|
| | | out.print("</title>\r\n");
|
|---|
| | | }
|
|---|
| | | out.print("</head><body class=\"p-3\">\r\n");
|
|---|
| | | }
|
|---|
| | |
|
|---|
