diff options
author | Hans Hagen <pragma@wxs.nl> | 2019-03-23 23:12:42 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-03-23 23:12:42 +0100 |
commit | 15c9a0a54f08ffc9fb72d6d878db4602ac6e1ca2 (patch) | |
tree | 19f4f5a061de3fe14f8e990437c69f740026e9a1 /scripts/context/lua/mtx-tools.lua | |
parent | b958bba841f9907582f3c5fa4b6162353636fc8f (diff) | |
download | context-15c9a0a54f08ffc9fb72d6d878db4602ac6e1ca2.tar.gz |
2019-03-21 21:47:00current
Diffstat (limited to 'scripts/context/lua/mtx-tools.lua')
-rw-r--r-- | scripts/context/lua/mtx-tools.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/context/lua/mtx-tools.lua b/scripts/context/lua/mtx-tools.lua index 146c46f36..be2177111 100644 --- a/scripts/context/lua/mtx-tools.lua +++ b/scripts/context/lua/mtx-tools.lua @@ -53,7 +53,8 @@ local application = logs.application { helpinfo = helpinfo, } -local report = application.report +local report = application.report +local writeln = (logs and logs.writer) or (texio and texio.write_nl) or print scripts = scripts or { } scripts.tools = scripts.tools or { } @@ -189,7 +190,7 @@ function scripts.tools.dirtoxml() result = table.concat(result,"\n") if not outputfile or outputfile == "" then - texio.write_nl(result) + writeln(result) else io.savedata(outputfile,result) end |