From 24b4fb0df9da74f086a572fc987aab658d78c58b Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 29 Feb 2008 10:37:39 -0600 Subject: [PATCH] Use if-box in http.server --- extra/http/server/sessions/sessions.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/http/server/sessions/sessions.factor b/extra/http/server/sessions/sessions.factor index 7d6ca5a637..4db256ca72 100755 --- a/extra/http/server/sessions/sessions.factor +++ b/extra/http/server/sessions/sessions.factor @@ -23,7 +23,7 @@ TUPLE: session id manager namespace alarm ; : timeout ( -- dt ) 20 minutes ; : cancel-timeout ( session -- ) - alarm>> ?box [ cancel-alarm ] [ drop ] if ; + alarm>> [ cancel-alarm ] if-box? ; : delete-session ( session -- ) dup cancel-timeout