diff options
| author | Marius <mariausol@gmail.com> | 2010-07-04 15:35:28 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2010-07-04 15:35:28 +0300 |
| commit | b0f61c557fa27bddb54ad085c9dc9beefc851a30 (patch) | |
| tree | a69dff7e9ee8d0022554603e8715fd482d4ac01c /tex/context/base/lxml-aux.lua | |
| parent | 85b7bc695629926641c7cb752fd478adfdf374f3 (diff) | |
| download | context-b0f61c557fa27bddb54ad085c9dc9beefc851a30.tar.gz | |
beta 2010-06-23 12:49
Diffstat (limited to 'tex/context/base/lxml-aux.lua')
| -rw-r--r-- | tex/context/base/lxml-aux.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tex/context/base/lxml-aux.lua b/tex/context/base/lxml-aux.lua index 00f791909..523e7c544 100644 --- a/tex/context/base/lxml-aux.lua +++ b/tex/context/base/lxml-aux.lua @@ -11,6 +11,8 @@ if not modules then modules = { } end modules ['lxml-aux'] = { local trace_manipulations = false trackers.register("lxml.manipulations", function(v) trace_manipulations = v end) +local report_xml = logs.new("xml") + local xmlparseapply, xmlconvert, xmlcopy, xmlname = xml.parse_apply, xml.convert, xml.copy, xml.name local xmlinheritedconvert = xml.inheritedconvert @@ -19,7 +21,7 @@ local insert, remove = table.insert, table.remove local gmatch, gsub = string.gmatch, string.gsub local function report(what,pattern,c,e) - logs.report("xml","%s element '%s' (root: '%s', position: %s, index: %s, pattern: %s)",what,xmlname(e),xmlname(e.__p__),c,e.ni,pattern) + report_xml("%s element '%s' (root: '%s', position: %s, index: %s, pattern: %s)",what,xmlname(e),xmlname(e.__p__),c,e.ni,pattern) end local function withelements(e,handle,depth) |