diff options
| author | Hans Hagen <pragma@wxs.nl> | 2012-12-24 20:08:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2012-12-24 20:08:00 +0100 |
| commit | 5f48570bba149ac17f45c80d5ee95306aa69d0c9 (patch) | |
| tree | bfd405cdf69acd82e4352f142f3b0220abde6ed5 /tex/context/base/data-use.lua | |
| parent | d2d2f5a76a2323d1adafe3dc1926e95064b206d9 (diff) | |
| download | context-5f48570bba149ac17f45c80d5ee95306aa69d0c9.tar.gz | |
beta 2012.12.24 20:08
Diffstat (limited to 'tex/context/base/data-use.lua')
| -rw-r--r-- | tex/context/base/data-use.lua | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tex/context/base/data-use.lua b/tex/context/base/data-use.lua index d2a9b7571..fb6798900 100644 --- a/tex/context/base/data-use.lua +++ b/tex/context/base/data-use.lua @@ -59,7 +59,7 @@ statistics.register("used cache path", function() return caches.usedpaths() end function statistics.savefmtstatus(texname,formatbanner,sourcefile) -- texname == formatname local enginebanner = status.list().banner if formatbanner and enginebanner and sourcefile then - local luvname = file.replacesuffix(texname,"luv") + local luvname = file.replacesuffix(texname,"luv") -- utilities.lua.suffixes.luv local luvdata = { enginebanner = enginebanner, formatbanner = formatbanner, @@ -70,10 +70,14 @@ function statistics.savefmtstatus(texname,formatbanner,sourcefile) -- texname == end end +-- todo: check this at startup and return (say) 999 as signal that the run +-- was aborted due to a wrong format in which case mtx-context can trigger +-- a remake + function statistics.checkfmtstatus(texname) local enginebanner = status.list().banner if enginebanner and texname then - local luvname = file.replacesuffix(texname,"luv") + local luvname = file.replacesuffix(texname,"luv") -- utilities.lua.suffixes.luv if lfs.isfile(luvname) then local luv = dofile(luvname) if luv and luv.sourcefile then |