From 441d952b3502949862f2beeea75a2262934ba959 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tobi=20Sch=C3=A4fer?= <interface@p3k.org>
Date: Sat, 25 May 2024 15:26:18 +0200
Subject: [PATCH] Prevent incompatible types: ServletContextHandler cannot be
 converted to Handler

---
 src/main/java/helma/main/ApplicationManager.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main/java/helma/main/ApplicationManager.java b/src/main/java/helma/main/ApplicationManager.java
index 755b65b8..2c9c357c 100644
--- a/src/main/java/helma/main/ApplicationManager.java
+++ b/src/main/java/helma/main/ApplicationManager.java
@@ -564,7 +564,9 @@ public class ApplicationManager implements XmlRpcHandler {
                 // unbind from Jetty HTTP server
                 if (ApplicationManager.this.jetty != null) {
                     if (this.appContext != null) {
-                        ApplicationManager.this.context.removeHandler(this.appContext);
+                        // FIXME: Causing incompatible types: ServletContextHandler cannot be converted to Handler
+                        // Is it necessary, anyway?
+                        //ApplicationManager.this.context.removeHandler(this.appContext);
                         this.appContext.stop();
                         this.appContext.destroy();
                         this.appContext = null;