diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-10-10 21:09:32 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-10-10 21:09:32 +0200 |
| commit | 9f36318b0e571bcbc93dc2112d01bbf2178ed020 (patch) | |
| tree | d6b075357717f7fde0bdf73aa364dbbca5417c50 /tex/context/base/mkiv/trac-log.lua | |
| parent | 753dd0cbafc567d4960c5fc4888ccb4e2302c64d (diff) | |
| download | context-9f36318b0e571bcbc93dc2112d01bbf2178ed020.tar.gz | |
2018-10-08 17:52:00
Diffstat (limited to 'tex/context/base/mkiv/trac-log.lua')
| -rw-r--r-- | tex/context/base/mkiv/trac-log.lua | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/trac-log.lua b/tex/context/base/mkiv/trac-log.lua index 297d053ab..83b81c9b0 100644 --- a/tex/context/base/mkiv/trac-log.lua +++ b/tex/context/base/mkiv/trac-log.lua @@ -405,6 +405,15 @@ if runningtex then setlogfile = ignore settimedlog = ignore + -- settimedlog = function() + -- local localtime = os.localtime + -- local writeline = write_nl + -- write_nl = function(f,...) + -- writeline(f,localtime() .. " | " .. concat { ... }) + -- end + -- settimedlog = ignore + -- end + else local report_yes, subreport_yes, status_yes |