From f828d43c00960e4e329aea1064526dbb480cf71c Mon Sep 17 00:00:00 2001 From: ThomasV Date: Wed, 23 Nov 2011 01:30:42 +0300 Subject: [PATCH] unnecessarily large --- server/server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/server.py b/server/server.py index 7896f8ebc..da51e73c3 100644 --- a/server/server.py +++ b/server/server.py @@ -419,7 +419,7 @@ def memorypool_update(store): def clean_session_thread(): while not stopping: - time.sleep(30) + time.sleep(3) t = time.time() for k,t0 in sessions_last_time.items(): if t - t0 > 60: