From be64041ea4cf251d20121a375d95420d7e5296e6 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Sat, 02 Jan 2021 14:58:48 +0000
Subject: [PATCH] Derby Port umgestellt auf 1528
---
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