From 036df8aac6864bfae80915a4e7655c10bf2ff8a9 Mon Sep 17 00:00:00 2001 From: Handyman Date: Fri, 14 Apr 2017 02:37:32 -0700 Subject: [PATCH] Use thread.join() instead (#219) --- server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.py b/server.py index a6541da..ba863b6 100644 --- a/server.py +++ b/server.py @@ -55,7 +55,7 @@ def main(): thread.start() try: while thread.is_alive(): - time.sleep(10) + thread.join(10.0) except (KeyboardInterrupt, IOError, OSError) as e: import traceback traceback.print_exc()