# HG changeset patch
# User Sylvain Thénault <sylvain.thenault@logilab.fr>
# Date 1254908004 -7200
# Node ID cd437d24aa654bf3ae0900567f5099470e9a0fc2
# Parent  585c4423a54c68b5a0cddea36dea618872e9d903
use daemon thread

diff -r 585c4423a54c -r cd437d24aa65 server/utils.py
--- a/server/utils.py	Wed Oct 07 11:33:11 2009 +0200
+++ b/server/utils.py	Wed Oct 07 11:33:24 2009 +0200
@@ -133,6 +133,7 @@
 
     def start(self):
         self.running_threads.append(self)
+        self.daemon = True
         Thread.start(self)
 
     @property