Digester auf die Nutzung der 'matches'-Methode umgestellt

ulrich@undisclosed

2020-03-30 3ae5ee41be958e59be174a6e68e05446e8baf355

 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);
  }
  
}