redis_time: Get time from Redis

Description Usage Arguments Examples

Description

Get time from Redis and format as a string.

Usage

1
2
3
4
5

Arguments

con

A Redis connection object

x

a list as returned by TIME

Examples

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
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))
}

redux documentation built on May 2, 2019, 1:42 p.m.