Verschluesselung an Aenderungen bei Tomcat angepasst

ulrich@undisclosed

2020-02-26 8a5d571bcd7df5ce436c78992f9431809bca6adc

 src/java/de/uhilger/um/web/Initialiser.java

@@ -201,6 +201,12 @@
  @Override
  public void contextDestroyed(ServletContextEvent sce) {
    // destroy whatever 
    ServletContext ctx = sce.getServletContext();
    ctx.removeAttribute(UserMgr.MP_USER);
    ctx.removeAttribute(UserMgr.MP_USER_DATA);
    ctx.removeAttribute(UserMgr.MP_USER_ROLE);
    ctx.removeAttribute(UserMgr.UM_SQL_PROPERTIES);
    ctx.removeAttribute(UserMgr.UM_DB);
  }
  
}