diff options
Diffstat (limited to 'tex/context/base/mkiv/data-vir.lua')
| -rw-r--r-- | tex/context/base/mkiv/data-vir.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/data-vir.lua b/tex/context/base/mkiv/data-vir.lua index 4b19ee537..b78211fc9 100644 --- a/tex/context/base/mkiv/data-vir.lua +++ b/tex/context/base/mkiv/data-vir.lua @@ -17,6 +17,7 @@ trackers.register("resolvers.virtual", function(v) trace_virtual = v end) local resolvers = resolvers local savers = resolvers.savers +local cleaners = resolvers.cleaners local data = { } local n = 0 -- hm, number can be query @@ -37,6 +38,10 @@ function savers.virtual(specification,content,suffix) return filename end +function cleaners.virtual(filename) + data[filename] = nil +end + local finders = resolvers.finders local notfound = finders.notfound |