redis: adding a read timeout to the socket.

diff --git a/extra/redis/redis.factor b/extra/redis/redis.factor
index f1a2da9974ce227600ce956cf84b9b0422c707e7..53c04f803d77a770c5be863662ad0c2d64668aa9 100644 (file)
--- 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
-    [ <inet> ] dip <client> drop ;
+    [ <inet> ] dip <client> drop
+    1 minutes over set-timeout ;
 
 : with-redis ( redis quot -- )
     [