Nicer time setting logging

Now logs ACTION[ServerThread]: player sets time to 6:03 instead of ACTION[ServerThread]: player sets time to 6:3
minetest · Jun 2, 2015 · b8a8be9 · b8a8be9 · nerzhul · Jun 6, 2015
1 parent e479337
commit b8a8be9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,
 })