Получить текущую дату и время в lua in redis

Question

Как я могу получить текущую дату/время в Lua, встроенном в Redis?

мне нужно иметь его в следующем формате - YYYY-MM-DD, HH: MM: SS

Пробовал с os.date(), но он не признает.

Answer 1

Песочница Redis 'Lua имеет только несколько библиотек, и os не является одним из них.

Вы можете позвонить в Redis TIME из Lua так:

local t = redis.call('TIME') 

Однако, вам нужно найти способ, чтобы преобразовать эпоху в нужный формат, а также отметить, что это остановит вас скрипт выполняя любую запись (так как это не детерминированная команда).

Обновление: с Redis v3.2 существует новый режим репликации для сценариев, основанных на эффектах (а не на основе кода). При использовании этого режима вы можете фактически называть все случайные, не детерминированные команды. Больше информации на EVAL's documentation page