openHPI / codeocean

CodeOcean is an automated assessment tool for web-based coding exercises
BSD 3-Clause "New" or "Revised" License
64 stars 27 forks source link

Prevent duplicate close of client connection #2597

Open MrSerth opened 22 hours ago

MrSerth commented 22 hours ago

When a running execution is stopped by the client (through the WebSocket connection), we immediately call close_client_connection to terminate Tubesock connection to the browser and stop the runner. However, since the regular workflow also included a call to close_client_connection, it might have been called twice.