diff options
author | Marius <mariausol@gmail.com> | 2011-02-09 16:40:14 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-02-09 16:40:14 +0200 |
commit | ed637df24cc8435fc78d30bc08c89f7db60b39c9 (patch) | |
tree | e7cf119063bef00fcd4c3193bb8f8440686bd581 /tex/context/base/meta-ini.lua | |
parent | 03766f7aaa5a741c5d52a1ee8201a887e594b350 (diff) | |
download | context-ed637df24cc8435fc78d30bc08c89f7db60b39c9.tar.gz |
beta 2011.02.09 15:29
Diffstat (limited to 'tex/context/base/meta-ini.lua')
-rw-r--r-- | tex/context/base/meta-ini.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tex/context/base/meta-ini.lua b/tex/context/base/meta-ini.lua index 776814f1d..5150c3835 100644 --- a/tex/context/base/meta-ini.lua +++ b/tex/context/base/meta-ini.lua @@ -12,13 +12,18 @@ metapost = metapost or { } -- for the moment downward compatible +local report_metapost = logs.reporter ("metapost") +local status_metapost = logs.messenger("metapost") + local patterns = { "meta-imp-%s.mkiv", "meta-imp-%s.tex", "meta-%s.mkiv", "meta-%s.tex" } -- we are compatible function metapost.uselibrary(name) commands.uselibrary(name,patterns,function(name,foundname) context.startreadingfile() - context.showmessage("metapost",1,name) + status_metapost("loaded: library '%s'",name) context.input(foundname) context.stopreadingfile() + end, function(name) + report_metapost("unknown: library '%s'",name) end) end |