diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-19 23:04:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-19 23:04:15 +0000 |
commit | f74161ca4e7eb3c5af9afcbe92522ae3b58987c1 (patch) | |
tree | 3c30a13df5ac7968195c85070a2b074578e669d2 /Master/texmf-dist/tex/context/base/mkiv/back-ini.lua | |
parent | 1d5a55ac8f5506a7ae9cfca52f4b588182e199d4 (diff) |
context beta/cont-tmf.zip (Apr 16 12:55)
git-svn-id: svn://tug.org/texlive/trunk@43931 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkiv/back-ini.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/mkiv/back-ini.lua | 31 |
1 files changed, 25 insertions, 6 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkiv/back-ini.lua b/Master/texmf-dist/tex/context/base/mkiv/back-ini.lua index e8af4d9d9c2..fd33d5ddc84 100644 --- a/Master/texmf-dist/tex/context/base/mkiv/back-ini.lua +++ b/Master/texmf-dist/tex/context/base/mkiv/back-ini.lua @@ -16,15 +16,15 @@ if not modules then modules = { } end modules ['back-ini'] = { local next, type = next, type local format = string.format -backends = backends or { } -local backends = backends +backends = backends or { } +local backends = backends -local trace_backend = false trackers.register("backend.initializers", function(v) trace_finalizers = v end) - -local report_backend = logs.reporter("backend","initializing") +local trace_backend = false trackers.register("backend.initializers", function(v) trace_finalizers = v end) +local report_backend = logs.reporter("backend","initializing") local allocate = utilities.storage.allocate local setmetatableindex = table.setmetatableindex +local setaction = nodes.tasks.setaction local function nothing() return nil end @@ -117,6 +117,25 @@ interfaces.implement { name = "setrealspaces", arguments = "string", actions = function(v) - nodes.tasks.setaction("shipouts","nodes.handlers.accessibility",v == interfaces.variables.yes) + setaction("shipouts","nodes.handlers.accessibility",v == interfaces.variables.yes) end } + +-- moved to here + +local included = table.setmetatableindex( { + context = true, + id = true, + metadata = true, + date = true, + id = true, + pdf = true, +}, function(t,k) + return true +end) + +backends.included = included + +function backends.timestamp() + return os.date("%Y-%m-%dT%X") .. os.timezone(true) +end |