fix

UniFormal · Aug 22, 2023 · c9378a2 · c9378a2
1 parent b1575b9
commit c9378a2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/archives/Index.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/archives/Index.scala
@@ -173,7 +173,7 @@ abstract class Importer extends TraversingBuildTarget with GeneralImporter {imp
   def importDocument(bt: BuildTask, index: Document => Unit,rel:ULOStatement => Unit): BuildResult
 
   def buildFile(bf: BuildTask): BuildResult = {
-    val sourcefile = bf.archive.root.relativize(bf.inFile).toString.split('/').foldLeft(bf.archive.narrationBase)((p, s) => p / s)
+    val sourcefile = bf.archive.root.relativize(bf.inFile).toFilePath.foldLeft(bf.archive.narrationBase)((p, s) => p / s)
     val graph = controller.depstore.newGraph(sourcefile)
     import info.kwarc.mmt.api.ontology.RDFImplicits._
     graph.add(ULO.file(sourcefile))

diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/lsp/Server.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/lsp/Server.scala
@@ -792,12 +792,12 @@ object Socket {
       }
     }
     val controller = Run.controller
-    List("lsp"
+    /*List("lsp"
       , "lsp-stex"
       , "lsp-stex-server-methodcall"
       , "lsp-stex-socket"
       , "lsp-stex-server"
-      , "fullstex").foreach(s => controller.handleLine("log+ " + s))
+      , "fullstex").foreach(s => controller.handleLine("log+ " + s))*/
     controller.handleLine("log console")
     controller.handleLine("server on 8090")
     controller.extman.addExtension(lsp)