Commit 0f1cd991 authored by BERJON Matthieu's avatar BERJON Matthieu
Browse files

Merge branch 'fix-events-channel' into 'django'

fix race condition in the webapp events channel

See merge request !119
parents c11f9a6b a2624470
Pipeline #40171 failed with stage
in 1 minute and 20 seconds
......@@ -789,7 +789,7 @@ class AllgoAio:
webapp_id = details["id"]
state = details["sandbox_state"]
cond = self.webapp_states[webapp_id].cond
webapp = self.webapp_states[webapp_id]
rep = JsonSeqStreamResponse()
......@@ -813,9 +813,9 @@ class AllgoAio:
state = new_state
try:
while True:
async with cond:
async with webapp.cond:
await poll()
await cond.wait()
await webapp.cond.wait()
except asyncio.CancelledError:
pass
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment