From 3a7ee0d67b72a0706b570e021a7482810e4c8c7a Mon Sep 17 00:00:00 2001
From: ulrich@undisclosed <ulrich@ulrich-vaio>
Date: Tue, 19 May 2020 10:31:19 +0000
Subject: [PATCH] Stile verfeinert
---
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