Fix websocket input processing

It was skipped in many cases which breaks ctrl-cing running code.

Fixes #8132
This commit is contained in:
Scott Shawcroft 2023-11-28 14:10:37 -08:00
parent 949a906d5a
commit 96b0c211d1
No known key found for this signature in database
GPG Key ID: 0DFD512649C052DA
1 changed files with 4 additions and 2 deletions

View File

@ -1515,9 +1515,11 @@ void supervisor_web_workflow_background(void *data) {
}
break;
}
websocket_background();
break;
}
// Let the websocket code run.
websocket_background();
// Resume polling
socketpool_socket_poll_resume();