Handbook
Glossary
redis-ping ( args -- response )
Vocabulary
redis
Inputs
args
an
object
Outputs
response
an
object
Definition
USING:
io
redis.command-writer
redis.response-parser
;
IN:
redis
:
redis-ping
( args -- response )
ping
flush
read-response
;