info.kwarc.mmt.api.web.ServerResponse$.errorResponse(ServerResponse.scala:90)
info.kwarc.mmt.api.web.ServerResponse$.ResourceResponse(ServerResponse.scala:107)
info.kwarc.mmt.api.web.Server.resolve(Server.scala:90)
info.kwarc.mmt.api.web.Server.handleRequest(Server.scala:60)
info.kwarc.mmt.api.web.TiscafServerImplementation$RequestHandler$$anon$1.act(TiscafServerImplementation.scala:49)
tiscaf.HSimpleLet.aact(HLet.scala:169)
tiscaf.HSimpleLet.aact$(HLet.scala:168)
info.kwarc.mmt.api.web.TiscafServerImplementation$RequestHandler$$anon$1.aact(TiscafServerImplementation.scala:47)
tiscaf.HAcceptor.talk(HAcceptor.scala:248)
tiscaf.HSimplePeer.doTalkItself$1(HPeer.scala:135)
tiscaf.HSimplePeer.$anonfun$readChannel$2(HPeer.scala:149)
scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
scala.concurrent.Future$.$anonfun$apply$1(Future.scala:672)
scala.concurrent.impl.Promise$Transformation.run(Promise.scala:431)
tiscaf.sync.SyncQuExecutionContext$$anon$1.run(SyncQuExecutionContext.scala:69)