Lua 如何更改Redis日志时间戳格式

我正在使用lua脚本运行redis命令并在其中使用{redis.log（）}}。它按下面提到的格式打印。但我想在日志中更改为时间格式。i、 e dd-MM-yyyy-HH:MM:ss.SSS，而不是默认格式（dd-MMM-HH:MM:ss.SSS，我假设）

格式： [pid]日期日志级别消息

例如： [4018]14 Nov 07:01:22.119*后台保存成功终止

---

我如何才能做到这一点？

遗憾的是，没有，没有“用户可维护”的旋钮。日志的输出之前总是有一个硬编码格式的时间戳，该格式在server.c中指定：

off = strftime(buf,sizeof(buf),"%d %b %H:%M:%S.",localtime(&tv.tv_sec));

---

遗憾的是，没有，没有“用户可维护”的旋钮。日志的输出之前总是有一个硬编码格式的时间戳，该格式在server.c中指定：

off = strftime(buf,sizeof(buf),"%d %b %H:%M:%S.",localtime(&tv.tv_sec));

---

请说明您到目前为止尝试了什么。如果你想得到答案，告诉人们你已经投入了一些时间和精力来解决你的问题。请指出你迄今为止尝试了什么。如果你想得到答案，告诉人们你已经投入了一些时间和精力来解决你的问题。