Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- alex@alex-VirtualBox:~/projects/localmh/MathHub/smglom/smglom$ run-immt.sh build.msl
- user: log console finished
- user: log file /home/alex/projects/localmh/MathHub/smglom/smglom/build.log
- report: logging to file /home/alex/projects/localmh/MathHub/smglom/smglom/build.log
- user: log file /home/alex/projects/localmh/MathHub/smglom/smglom/build.log finished
- user: log+ archive
- user: log+ archive finished
- user: log+ steximporter
- user: log+ steximporter finished
- user: extension info.kwarc.mmt.planetary.PlanetaryPlugin
- user: extension info.kwarc.mmt.planetary.PlanetaryPlugin finished
- user: extension info.kwarc.mmt.stex.STeXImporter
- user: extension info.kwarc.mmt.stex.STeXImporter finished
- user: archive add /home/alex/projects/localmh/MathHub/smglom/smglom
- user: archive add /home/alex/projects/localmh/MathHub/smglom/smglom finished
- user: archive smglom/smglom stex-omdoc
- archive: entering /home/alex/projects/localmh/MathHub/smglom/smglom/source
- error: get error: backend cannot retrieve http://mathhub.info/smglom/smglom
- Exception in thread "main" get error: backend cannot retrieve http://mathhub.info/smglom/smglom
- at info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply$mcV$sp(Controller.scala:177)
- at info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:170)
- at info.kwarc.mmt.api.frontend.Controller$$anonfun$retrieve$1.apply(Controller.scala:170)
- at info.kwarc.mmt.api.frontend.Logger$class.logGroup(Log.scala:14)
- at info.kwarc.mmt.api.frontend.Controller.logGroup(Controller.scala:55)
- at info.kwarc.mmt.api.frontend.Controller.retrieve(Controller.scala:168)
- at info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:200)
- at info.kwarc.mmt.api.frontend.Controller.iterate(Controller.scala:189)
- at info.kwarc.mmt.api.frontend.Controller.get(Controller.scala:210)
- at info.kwarc.mmt.api.archives.Importer.buildDir(Index.scala:36)
- at info.kwarc.mmt.api.archives.TraversingBuildTarget$$anonfun$info$kwarc$mmt$api$archives$TraversingBuildTarget$$buildAux$3.apply(BuildTarget.scala:171)
- at info.kwarc.mmt.api.archives.TraversingBuildTarget$$anonfun$info$kwarc$mmt$api$archives$TraversingBuildTarget$$buildAux$3.apply(BuildTarget.scala:167)
- at info.kwarc.mmt.api.archives.WritableArchive.traverse(Archive.scala:108)
- at info.kwarc.mmt.api.archives.TraversingBuildTarget.info$kwarc$mmt$api$archives$TraversingBuildTarget$$buildAux(BuildTarget.scala:155)
- at info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:146)
- at info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:62)
- at info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:508)
- at info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:440)
- at info.kwarc.mmt.api.frontend.Controller$$anonfun$handle$18.apply(Controller.scala:544)
- at info.kwarc.mmt.api.frontend.Controller$$anonfun$handle$18.apply(Controller.scala:544)
- at info.kwarc.mmt.api.utils.File$.ReadLineWise(File.scala:127)
- at info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:544)
- at info.kwarc.mmt.api.frontend.Controller.handleLine(Controller.scala:440)
- at info.kwarc.mmt.api.frontend.Shell.main(Shell.scala:35)
- at info.kwarc.mmt.api.frontend.Run.main(Shell.scala)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement