From 879ebb430edbb115b2c6e16c27de35bb4741c7d7 Mon Sep 17 00:00:00 2001 From: Florian Rabe Date: Tue, 23 Aug 2016 17:43:37 +0200 Subject: [PATCH] --- src/mmt-api/src/main/info/kwarc/mmt/api/backend/Storage.scala | 1 + .../src/main/info/kwarc/mmt/api/frontend/Controller.scala | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/backend/Storage.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/backend/Storage.scala index 931dd357f7..0e0c47ab7e 100644 --- a/src/mmt-api/src/main/info/kwarc/mmt/api/backend/Storage.scala +++ b/src/mmt-api/src/main/info/kwarc/mmt/api/backend/Storage.scala @@ -16,6 +16,7 @@ case class NotApplicable(message: String = "") extends Error(message) abstract class Storage extends QueryResolver with OntologyResolver { protected def loadXML(u: URI, dpath: DPath, reader: BufferedReader)(implicit controller: Controller) { val ps = new ParsingStream(u, IsRootDoc(dpath), NamespaceMap(dpath), "omdoc", reader) + controller.report("storage", "found by " + toString + " at URL " + u) controller.read(ps, interpret = false)(ErrorThrower) } diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/Controller.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/Controller.scala index 28ad6a6f09..30296084a4 100644 --- a/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/Controller.scala +++ b/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/Controller.scala @@ -351,7 +351,7 @@ class Controller extends ROController with ActionHandling with Logger { /** loads a path via the backend and reports it */ protected def retrieve(nf: NotFound) { - log("retrieving " + nf.path) + log("asking backend for URI " + nf.path) logGroup { try { // loading objects into memory changes state, so make sure only one object is loaded at a time