summaryrefslogtreecommitdiff
path: root/otfl-luat-ovr.lua
diff options
context:
space:
mode:
authorElie Roux <elie.roux@telecom-bretagne.eu>2010-05-18 16:39:35 +0300
committerElie Roux <elie.roux@telecom-bretagne.eu>2010-05-18 16:39:35 +0300
commit4427a6ec30f2196e90cf66d140be98fff9ad65e5 (patch)
tree7338101dac08ccfe3cc0af41abc9e5ca71cfcdee /otfl-luat-ovr.lua
parentda903f6da2e1a00e3ec681913346e0f9ce3b6d24 (diff)
downloadluaotfload-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.lua10
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,...)))