server/utils.py
branchstable
changeset 5581 0aae5216f99e
parent 5424 8ecbcbff9777
child 5606 61b28589d33f
--- a/server/utils.py	Tue May 25 12:20:26 2010 +0200
+++ b/server/utils.py	Tue May 25 12:21:17 2010 +0200
@@ -143,7 +143,8 @@
         self._t.cancel()
 
     def join(self):
-        self._t.join()
+        if self._t.isAlive():
+            self._t.join()
 
 
 class RepoThread(Thread):