Stile des Rollen-Dialogs verfeinert

ulrich

2020-05-19 a52c39a698c68fa04789629a79c45ad1f882e627

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

@@ -62,10 +62,6 @@
  /** Name des SQL-Befehls zum Pruefen, ob die Datenbank vorhanden ist */
  public static final String SQL_DB_VORHANDEN = "dbVorhanden";  
  
  public static final String MP_USER = "userMapper";
  public static final String MP_USER_DATA = "userDataMapper";
  public static final String MP_USER_ROLE = "userRoleMapper";
  
  /**
   * Diese Webanwendung initialisieren, also z.B. Elemente instantiieren, die
   * über den Deployment Descritpor veränderlich gehalten sind.
@@ -205,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);
  }
  
}