La sandbox Lua di Redis ha solo una manciata di librerie e os
non è uno di questi.
Puoi chiamare il TIME
di Redis da Lua così:
local t = redis.call('TIME')
Tuttavia, dovrai trovare un modo per convertire l'epoca nel formato desiderato e notare anche che impedirà allo script di eseguire qualsiasi scrittura (poiché è un comando non deterministico).
Aggiornamento:a partire da Redis v3.2, esiste una nuova modalità di replica per gli script basata sugli effetti (piuttosto che sul codice). Quando si utilizza questa modalità è possibile effettivamente chiamare tutti i comandi casuali e non deterministici. Maggiori informazioni sono su EVAL
pagina della documentazione di