|
@@ -418,7 +418,6 @@ class Server(object):
|
|
# seconds. instead of task.join() we use task.wait(). the only
|
|
# seconds. instead of task.join() we use task.wait(). the only
|
|
# difference is that wait doesn't throw a exception if the task was
|
|
# difference is that wait doesn't throw a exception if the task was
|
|
# stopped or crashed
|
|
# stopped or crashed
|
|
- # 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.wait)
|
|
await curio.ignore_after(0.01,cur_task.wait)
|
|
|
|
|