Merge pull request #8668 from tannewt/ww_ctrl_c

Fix websocket input processing
This commit is contained in:
Dan Halbert 2023-11-28 18:36:33 -05:00 committed by GitHub
commit db3b5ff466
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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