build server fix

UniFormal · Nov 6, 2023 · 6c93755 · 6c93755
1 parent d2bdf6c
commit 6c93755
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/mmt-buildserver/src/info/kwarc/mmt/buildserver/BuildServer.scala b/src/mmt-buildserver/src/info/kwarc/mmt/buildserver/BuildServer.scala
@@ -83,6 +83,8 @@ class BuildServer extends ServerExtension("buildserver") with BuildManager {
       apply(ServerRequest(request.method,request.headers,request.session,request.path.tail,request.query,request.body))
     case ls if ls.headOption.contains("script") || ls.headOption.contains("css") =>
       ServerResponse.ResourceResponse(ls.mkString("/"))
+    case ls if ls.headOption.contains(":action") =>
+      this.controller.server.get.handleRequest(ServerRequest(request.method,request.headers,request.session,request.path.tail,request.query,request.body))
     case List("clear") =>
       //clear()
       State.synchronized {
@@ -123,10 +125,12 @@ class BuildServer extends ServerExtension("buildserver") with BuildManager {
         }
       }
       ServerResponse.JsonResponse(JSONObject())
-    case _ =>
+    case Nil =>
       ServerResponse.apply(
         MMTSystem.getResourceAsString("/mmt-web/buildserver.html"),"text/html"
       )
+    case o =>
+      ServerResponse.JsonResponse(JSONObject("error" -> JSONString("Unknown request " + o.mkString("/"))))
   }
   private def getQueueInfo: JSON = State.synchronized {
     val qSize = State.queue.size