From 947abde25885452292f4a56508042172b4d303e6 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Sun, 17 May 2020 13:07:25 +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