微调log文件和录像文件中的日期格式

2021-03-18 13:02:56 +08:00
parent 5f633efa59
commit f74a421f64
2 changed files with 2 additions and 2 deletions
--- a/parts/gametoolfunc.lua
+++ b/parts/gametoolfunc.lua
@@ -957,7 +957,7 @@ do--function saveRecording()
 		--File contents
 		local fileName="replay/"..os.date("%Y_%m_%d_%a_%H%M%S.rep")
 		local fileHead=
-			os.date("%Y/%m/%d_%A_%H:%M:%S\n")..
+			os.date("%Y/%m/%d %A %H:%M:%S\n")..
 			GAME.curModeName.."\n"..
 			VERSION_NAME.."\n"..
 			(USER.name or"Player")