From 4c53ff2081c1042a09ae5637e2c6e85e274f3e0a Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sun, 18 Mar 2018 22:03:14 +0000
Subject: [PATCH] Titel als JNDI Variable

---
 src/de/uhilger/wbx/web/ViewServlet.java |   30 +++++++++++++++++++++++++++---
 1 files changed, 27 insertions(+), 3 deletions(-)

diff --git a/src/de/uhilger/wbx/web/ViewServlet.java b/src/de/uhilger/wbx/web/ViewServlet.java
index 76e1a04..f4b7126 100644
--- a/src/de/uhilger/wbx/web/ViewServlet.java
+++ b/src/de/uhilger/wbx/web/ViewServlet.java
@@ -21,6 +21,9 @@
 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;
@@ -41,20 +44,41 @@
   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");
   }
   

--
Gitblit v1.9.3