diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-21 21:47:53 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-21 21:47:53 +0200 |
commit | f95f8775f18f0caf01bd0e2be163ca4ab0c1a127 (patch) | |
tree | bab3f67b73459e9a9526c1240d234a69b76bca58 /otfl-fonts.lua | |
parent | 3d9ffcf967635f7bd4c70ff8e41bc7603c461d42 (diff) | |
parent | 20e92df3bcad34b2951df17182cdb4c8ffef210a (diff) | |
download | luaotfload-f95f8775f18f0caf01bd0e2be163ca4ab0c1a127.tar.gz |
merge from eroux
Diffstat (limited to 'otfl-fonts.lua')
-rw-r--r-- | otfl-fonts.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/otfl-fonts.lua b/otfl-fonts.lua index 75bd079..7e32465 100644 --- a/otfl-fonts.lua +++ b/otfl-fonts.lua @@ -37,10 +37,12 @@ if not generic_context then generic_context = { } end +local printinfo = function(s) texio.write_nl("log", s) end + if not generic_context.push_namespaces then function generic_context.push_namespaces() - texio.write(" <push namespace>") + printinfo(" <push namespace>") local normalglobal = { } for k, v in next, _G do normalglobal[k] = v @@ -50,7 +52,7 @@ if not generic_context.push_namespaces then function generic_context.pop_namespaces(normalglobal,isolate) if normalglobal then - texio.write(" <pop namespace>") + printinfo(" <pop namespace>") for k, v in next, _G do if not normalglobal[k] then generic_context[k] = v @@ -110,7 +112,7 @@ local function loadmodule(name,continue) end else if verbose then - texio.write(string.format(" <%s>",foundname)) -- no file.basename yet + printinfo(string.format(" <%s>",foundname)) -- no file.basename yet end dofile(foundname) end @@ -252,6 +254,6 @@ end -- We're done. -texio.write(string.format(" <luatex-fonts.lua loaded in %0.3f seconds>", os.gettimeofday()-starttime)) +--texio.write(string.format(" <luatex-fonts.lua loaded in %0.3f seconds>", os.gettimeofday()-starttime)) generic_context.pop_namespaces(whatever) |