Any other ideas what could be done?
Does the problem persist with RESTXQ, WebSocket, and WebDAV removed?
If you manage to create an environment in which you can also disable the BaseX REST service, and if Jetty goes down as well, it may be a problem that doesn’t relate to BaseX.
-Dorg.eclipse.jetty.util.log.class=org.eclipse.jetty.util.log.StdErrLog -D{classref}.LEVEL=DEBUG
But the basexhttp.bat file contains just SET and JAVA commands. Question: how to activate Jetty verbose logging?
-D is a standard Java option, so you can e.g. assign it to the BASEX_JVM variable. You can also directly edit the script.