redis_time: Get time from Redis

View source: R/redis_tools.R

redis_timeR Documentation

Get time from Redis

Description

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


ropensci/RedisAPI documentation built on May 18, 2022, 9:46 a.m.