diff options
author | Marius <mariausol@gmail.com> | 2010-08-19 10:29:42 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2010-08-19 10:29:42 +0300 |
commit | 7d7e0d3c8d778650105cfb479f31a2bb54d69d50 (patch) | |
tree | e0c4e7d8bf466a70af56be02a0de703bbd09a5af /tex/context/base/mlib-run.lua | |
parent | b469b8ec1b494ab72cd462bfc539ce01440e6aaf (diff) | |
download | context-7d7e0d3c8d778650105cfb479f31a2bb54d69d50.tar.gz |
beta 2010.08.19 01:08
Diffstat (limited to 'tex/context/base/mlib-run.lua')
-rw-r--r-- | tex/context/base/mlib-run.lua | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tex/context/base/mlib-run.lua b/tex/context/base/mlib-run.lua index a119b0836..c7b24f0f7 100644 --- a/tex/context/base/mlib-run.lua +++ b/tex/context/base/mlib-run.lua @@ -33,13 +33,16 @@ local trace_graphics = false trackers.register("metapost.graphics", function(v) local report_mplib = logs.new("mplib") -local texerrormessage = tracers.texerrormessage +local texerrormessage = logs.texerrormessage local format, gsub, match = string.format, string.gsub, string.match local starttiming, stoptiming = statistics.starttiming, statistics.stoptiming -metapost = metapost or { } +local mplib = mplib + +metapost = metapost or { } +local metapost = metapost metapost.showlog = false metapost.lastlog = "" |