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

Question

我正在使用 lua 脚本运行 redis 命令并在其中使用 {{redis.log()}}。它打印如下所述的格式。但是我想在日志中更改为时间格式。即 dd-MM-yyyy HH:mm:ss.SSS 而不是默认格式(我假设为 dd MMM hh:MM:ss.SSS)

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

例如:[4018] 11 月 14 日 07:01:22.119 * 后台保存成功终止

我该怎么做？

Answer 1

遗憾的是，不，没有“用户可维修”的旋钮。日志的输出前面始终带有 server.c 中指定的硬编码格式的时间戳:

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