Get time from Redis

Get time from Redis and format as a string.

Usage

redis_time(con)

format_redis_time(x)

redis_time_to_r(x)

Arguments

con

A Redis connection object

x

a list as returned by TIME

Examples

r <- redux::hiredis()

# The output of Redis' TIME command is not the *most* useful
# thing in the world:
r$TIME()
#> [[1]]
#> [1] "1756735975"
#> 
#> [[2]]
#> [1] "736709"
#> 

# We can get a slightly nicer representation like so:
redux::redis_time(r)
#> [1] "1756735975.737572"

# And from that convert to an actual R time:
redux::redis_time_to_r(redux::redis_time(r))
#> [1] "2025-09-01 14:12:55 UTC"