Nicer time setting logging

Now logs

ACTION[ServerThread]: player sets time to 6:03

instead of

ACTION[ServerThread]: player sets time to 6:3

diff --git a/builtin/game/chatcommands.lua b/builtin/game/chatcommands.lua
index fbc91ef01f90b28e3fcbe092bf48cc34c074901d..d5d9c3d259600b5b2995d2880602fe17d1f3663e 100644 (file)
--- a/builtin/game/chatcommands.lua
+++ b/builtin/game/chatcommands.lua
@@ -713,7 +713,7 @@ core.register_chatcommand("time", {
                        return false, "Invalid minute (must be between 0 and 59 inclusive)."
                end
                core.set_timeofday((hour * 60 + minute) / 1440)
-               core.log("action", name .. " sets time to " .. hour .. ":" .. minute)
+               core.log("action", ("%s sets time to %d:%02d"):format(name, hour, minute))
                return true, "Time of day changed."
        end,
 })