redis: adding a read timeout to the socket.

2015-07-10 09:31:21 -07:00 · 2015-07-10 09:31:21 -07:00 · 752ceb57fc
parent 2b1e7dd9d0
commit 752ceb57fc
1 changed files with 2 additions and 1 deletions
--- 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 -- )
    [