server/utils.py
branchstable
changeset 3585 cd437d24aa65
parent 2708 60d728bdcba5
child 3701 104b7c326172
--- 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