Migrate frontend.handle() to frontend.handleLine()

config/def-build.mbt

@@ -5,7 +5,7 @@ val format1 = new SimpleDateFormat("yyyy_MM_dd_HH_mm")
 logToFile("/var/data/localmh/MathHub/meta/inf/config/logs/" + format1.format(Calendar.getInstance().getTime), true)
 logModule("server")
 controller.handleLine("log+ archive")
-controller.handle(frontend.ServerOn(8082))
+controller.handleLine("server on 8082")
 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("/var/data/localmh/MathHub/alignments/Public/"))