changeset 4993 | 5243b74a4cbb |
parent 4981 | 95c18750b89e |
child 4995 | 47a7ac6508b3 |
--- a/core/sessionmanager.lua Mon Jul 23 16:42:26 2012 +0100 +++ b/core/sessionmanager.lua Mon Jul 23 17:32:33 2012 +0100 @@ -38,7 +38,7 @@ getmetatable(session.trace).__gc = function () open_sessions = open_sessions - 1; end; end open_sessions = open_sessions + 1; - log("debug", "open sessions now: ".. open_sessions); + log("debug", "open sessions now: %d", open_sessions); local filter = initialize_filters(session); local w = conn.write;