equal
deleted
inserted
replaced
4 local datetime = require "util.datetime".datetime; |
4 local datetime = require "util.datetime".datetime; |
5 |
5 |
6 module:set_global(); |
6 module:set_global(); |
7 |
7 |
8 local function sink_maker(config) |
8 local function sink_maker(config) |
9 local logfile = io.open(config.filename, "a"); |
9 local logfile = io.open(config.filename, "a+"); |
10 logfile:setvbuf("no"); |
10 logfile:setvbuf("no"); |
11 return function (source, level, message, ...) |
11 return function (source, level, message, ...) |
12 local args = pack(...); |
12 local args = pack(...); |
13 for i = 1, args.n do |
13 for i = 1, args.n do |
14 if args[i] == nil then |
14 if args[i] == nil then |