diff options
author | Hans Hagen <pragma@wxs.nl> | 2013-03-13 00:08:00 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2013-03-13 00:08:00 +0100 |
commit | 1564c7a2753a36c58b7bec630309be771ca616c1 (patch) | |
tree | eae599d8a78b30fa42439583db84d6b73e24f3c2 /tex/context/base/back-ini.lua | |
parent | 0e99414568abe788b78a41305cc83e5a4c6b2714 (diff) | |
download | context-1564c7a2753a36c58b7bec630309be771ca616c1.tar.gz |
beta 2013.03.13 00:08
Diffstat (limited to 'tex/context/base/back-ini.lua')
-rw-r--r-- | tex/context/base/back-ini.lua | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tex/context/base/back-ini.lua b/tex/context/base/back-ini.lua index f6b2f60f1..bdd931abd 100644 --- a/tex/context/base/back-ini.lua +++ b/tex/context/base/back-ini.lua @@ -59,7 +59,11 @@ function backends.install(what) local backend = backends[what] if backend then if trace_backend then - report_backend("initializing backend %s (%s)",what,backend.comment or "no comment") + if backend.comment then + report_backend("initializing backend %a, %a",what,backend.comment) + else + report_backend("initializing backend %a",what) + end end backends.current = what for category, default in next, defaults do @@ -68,7 +72,7 @@ function backends.install(what) setmetatableindex(target, plugin) end elseif trace_backend then - report_backend("no backend named %s",what) + report_backend("no backend named %a",what) end end end |