Skip to content
Snippets Groups Projects
Commit 4c9131fc authored by Tom Wiesing's avatar Tom Wiesing :speech_balloon:
Browse files

Update def-build.mbt

parent c87befdc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
config/def-build.mbt
+ 1
− 1
View file @ 4c9131fc
......@@ -5,7 +5,7 @@ controller.handleLine("log console")
// logToFile("/var/data/localmh/MathHub/meta/inf/config/logs/" + format1.format(Calendar.getInstance().getTime), true)
logModule("server")
controller.handleLine("log+ archive")
controller.handleLine("server on 8082")
controller.handleLine("server on 8080 0.0.0.0")
loadExtension("info.kwarc.mmt.odk.Plugin", Nil)
loadExtension("info.kwarc.mmt.api.archives.ErrorManager", List("--clean-unknown-sources"))
loadExtension("info.kwarc.mmt.api.ontology.AlignmentsServer",List("/content/MathHub/alignments/Public/"))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment