diff options
author | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-18 16:39:35 +0300 |
---|---|---|
committer | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-18 16:39:35 +0300 |
commit | 4427a6ec30f2196e90cf66d140be98fff9ad65e5 (patch) | |
tree | 7338101dac08ccfe3cc0af41abc9e5ca71cfcdee /otfl-luat-ovr.lua | |
parent | da903f6da2e1a00e3ec681913346e0f9ce3b6d24 (diff) | |
download | luaotfload-4427a6ec30f2196e90cf66d140be98fff9ad65e5.tar.gz |
Fixing the log level when the database is updated inside a document
To do so I added a logs.info function to print something on the terminal and in the logs.
Diffstat (limited to 'otfl-luat-ovr.lua')
-rw-r--r-- | otfl-luat-ovr.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/otfl-luat-ovr.lua b/otfl-luat-ovr.lua index af5e05b..b12bb8b 100644 --- a/otfl-luat-ovr.lua +++ b/otfl-luat-ovr.lua @@ -24,6 +24,16 @@ function logs.report(category,fmt,...) end end +function logs.info(category,fmt,...) + if fmt then + write_nl(format("%s | %s: %s",name,category,format(fmt,...))) + elseif category then + write_nl(format("%s | %s",name,category)) + else + write_nl(format("%s |",name)) + end +end + function logs.simple(fmt,...) if fmt then write_nl('log', format("%s | %s",name,format(fmt,...))) |