Don't rely on python internal implementation.

Set a safe timeout value as we cannot assume, that the current implementation of busy-waiting won't be changed in the future.
2011-04-03 13:27:51 +02:00 · 2011-04-03 13:27:51 +02:00 · 8d4eac5ea1
commit 8d4eac5ea1
parent 6c87df3364
1 changed files with 1 additions and 1 deletions
--- a/radicale.py
+++ b/radicale.py
@ -122,7 +122,7 @@ try:
        # the number is irrelevant -- the only thing that matters, is that it is
        # larger than 0.05
        # this is due to python implementing its own busy-waiting logic
-        server_exited.wait(10.0)
+        server_exited.wait(5.0)
        if server_exited.is_set():
            break
 finally: