diff options
author | Hans Hagen <pragma@wxs.nl> | 2008-05-09 19:33:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2008-05-09 19:33:00 +0200 |
commit | 3d7afaa86d4d170aacd4d287e70149d22172bf4f (patch) | |
tree | b011663a8b36ddbfb0cdba99433e92920e23e79f /tex/context/base/mlib-run.lua | |
parent | d948cb4eddff16f17051d8078b4c55cdd8e8f681 (diff) | |
download | context-3d7afaa86d4d170aacd4d287e70149d22172bf4f.tar.gz |
stable 2008.05.09 19:33
Diffstat (limited to 'tex/context/base/mlib-run.lua')
-rw-r--r-- | tex/context/base/mlib-run.lua | 21 |
1 files changed, 17 insertions, 4 deletions
diff --git a/tex/context/base/mlib-run.lua b/tex/context/base/mlib-run.lua index 0e60c9639..3dedb2e21 100644 --- a/tex/context/base/mlib-run.lua +++ b/tex/context/base/mlib-run.lua @@ -198,22 +198,35 @@ function metapost.process(mpx, data, trialrun, flusher) result = mpx:execute(d) input.stoptiming(metapost.exectime) if not result then - metapost.report("error", "no result object returned") + metapost.report("mp error", "no result object returned") elseif result.status > 0 then - metapost.report("error",(result.term or "no-term") .. "\n" .. (result.error or "no-error")) + local t, e, l = result.term, result.error, result.log + if t then + metapost.report("mp terminal",t) + end + if e then + metapost.report("mp error",e) +--~ metapost.reset(mpx) + end + if not t and not e and l then + metapost.report("mp log",l) + else + metapost.report("mp error","unknown, no error, terminal or log messages") + end elseif metapost.showlog then - metapost.report("info",result.term or "no-term") + metapost.report("mp info",result.term or "no terminal output") elseif result.fig then metapost.convert(result, trialrun, flusher) end else - metapost.report("error", "invalid graphic component " .. i) + metapost.report("mp error", "invalid graphic component " .. i) end end else input.starttiming(metapost.exectime) result = mpx:execute(data) input.stoptiming(metapost.exectime) + -- todo: error message if not result then metapost.report("error", "no result object returned") elseif result.status > 0 then |