summaryrefslogtreecommitdiff
path: root/tex/context/base/data-con.lua
diff options
context:
space:
mode:
authorMarius <mariausol@gmail.com>2013-03-13 01:20:16 +0200
committerMarius <mariausol@gmail.com>2013-03-13 01:20:16 +0200
commit4d6709d2eec4237345164c15be765be0669541d0 (patch)
tree110053b7da1c5638de03d45cf2898ebdd49188e5 /tex/context/base/data-con.lua
parent1253a5723d8188696f9ab801b13ec84f16c6bf6f (diff)
downloadcontext-4d6709d2eec4237345164c15be765be0669541d0.tar.gz
beta 2013.03.13 00:08
Diffstat (limited to 'tex/context/base/data-con.lua')
-rw-r--r--tex/context/base/data-con.lua22
1 files changed, 12 insertions, 10 deletions
diff --git a/tex/context/base/data-con.lua b/tex/context/base/data-con.lua
index ed4f2dec0..354c6807d 100644
--- a/tex/context/base/data-con.lua
+++ b/tex/context/base/data-con.lua
@@ -31,12 +31,6 @@ containers.usecache = true
local report_containers = logs.reporter("resolvers","containers")
-local function report(container,tag,name)
- if trace_cache or trace_containers then
- report_containers("container: %s, tag: %s, name: %s",container.subcategory,tag,name or 'invalid')
- end
-end
-
local allocated = { }
local mt = {
@@ -99,13 +93,17 @@ function containers.read(container,name)
if not stored and container.enabled and caches and containers.usecache then
stored = caches.loaddata(container.readables,name)
if stored and stored.cache_version == container.version then
- report(container,"loaded",name)
+ if trace_cache or trace_containers then
+ report_containers("action %a, category %a, name %a","load",container.subcategory,name)
+ end
else
stored = nil
end
storage[name] = stored
elseif stored then
- report(container,"reusing",name)
+ if trace_cache or trace_containers then
+ report_containers("action %a, category %a, name %a","reuse",container.subcategory,name)
+ end
end
return stored
end
@@ -117,10 +115,14 @@ function containers.write(container, name, data)
local unique, shared = data.unique, data.shared
data.unique, data.shared = nil, nil
caches.savedata(container.writable, name, data)
- report(container,"saved",name)
+ if trace_cache or trace_containers then
+ report_containers("action %a, category %a, name %a","save",container.subcategory,name)
+ end
data.unique, data.shared = unique, shared
end
- report(container,"stored",name)
+ if trace_cache or trace_containers then
+ report_containers("action %a, category %a, name %a","store",container.subcategory,name)
+ end
container.storage[name] = data
end
return data