From 752ceb57fc305c7f8fb4304df32f770ed67c8f05 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Fri, 10 Jul 2015 09:31:21 -0700 Subject: [PATCH] redis: adding a read timeout to the socket. --- extra/redis/redis.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extra/redis/redis.factor b/extra/redis/redis.factor index f1a2da9974..53c04f803d 100644 --- a/extra/redis/redis.factor +++ b/extra/redis/redis.factor @@ -102,7 +102,8 @@ CONSTANT: default-redis-port 6379 : redis-do-connect ( redis -- stream ) [ host>> ] [ port>> ] [ encoding>> ] tri - [ ] dip drop ; + [ ] dip drop + 1 minutes over set-timeout ; : with-redis ( redis quot -- ) [