redis_time function

Get time from Redis

Get time from Redis and format as a string.

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

if (redux::redis_available()) {
  r <- redux::hiredis()

  # The output of Redis' TIME command is not the *most* useful
  # thing in the world:
  r$TIME()

  # We can get a slightly nicer representation like so:
  redux::redis_time(r)

  # And from that convert to an actual R time:
  redux::redis_time_to_r(redux::redis_time(r))
}