From 3a569b0a6afc32bfadd1129f4ccbd2c442546f63 Mon Sep 17 00:00:00 2001
From: ulrich <ulrich>
Date: Tue, 19 May 2020 14:34:50 +0000
Subject: [PATCH] Stile verfeinert, Doku angepasst
---
src/java/de/uhilger/um/web/Initialiser.java | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/src/java/de/uhilger/um/web/Initialiser.java b/src/java/de/uhilger/um/web/Initialiser.java
index 21b4420..ca9db18 100644
--- a/src/java/de/uhilger/um/web/Initialiser.java
+++ b/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);
}
}
--
Gitblit v1.9.3