changeset 8715 | e9caf447deed |
parent 8702 | 580c13ed0ca1 |
child 8716 | 48bd442f6d4d |
--- a/util/startup.lua Thu Apr 05 15:58:08 2018 +0200 +++ b/util/startup.lua Thu Apr 05 16:00:27 2018 +0200 @@ -80,9 +80,6 @@ server = require "net.server" end --- The global log() gets defined by loggingmanager --- luacheck: ignore 113/log - function startup.init_logging() -- Initialize logging require "core.loggingmanager"