|
@@ -420,7 +420,7 @@ class Server(object):
|
|
|
# stopped or crashed
|
|
# stopped or crashed
|
|
|
# maybe wait doesn't work, trying it out with join
|
|
# maybe wait doesn't work, trying it out with join
|
|
|
cur_task = await curio.current_task()
|
|
cur_task = await curio.current_task()
|
|
|
- await curio.ignore_after(0.01,cur_task.join)
|
|
|
|
|
|
|
+ await curio.ignore_after(0.01,cur_task.wait)
|
|
|
|
|
|
|
|
class Client(threading.Thread):
|
|
class Client(threading.Thread):
|
|
|
"""docstring for Client"""
|
|
"""docstring for Client"""
|
