diff options
author | Marius <mariausol@gmail.com> | 2012-08-25 14:20:23 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2012-08-25 14:20:23 +0300 |
commit | ef3bfc9ea7ed3326ea07cd48ccf2c3d8d55ea435 (patch) | |
tree | 9da31056079678945bef2e210ffe7268190c5579 /tex/context/base/trac-inf.lua | |
parent | ecadb4b576efc36822610c9857a7ccb8967dd80a (diff) | |
download | context-ef3bfc9ea7ed3326ea07cd48ccf2c3d8d55ea435.tar.gz |
beta 2012.08.25 12:53
Diffstat (limited to 'tex/context/base/trac-inf.lua')
-rw-r--r-- | tex/context/base/trac-inf.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 4f5f6ed98..6ba3d348e 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/trac-inf.lua @@ -13,7 +13,7 @@ if not modules then modules = { } end modules ['trac-inf'] = { local format, lower = string.format, string.lower local clock = os.gettimeofday or os.clock -- should go in environment -local write_nl = texio.write_nl +local write_nl = texio and texio.write_nl or print statistics = statistics or { } local statistics = statistics |