Merge pull request micropython#8668 from tannewt/ww_ctrl_c

Fix websocket input processing

Author: dhalbert

supervisor/shared/web_workflow/web_workflow.c

@@ -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();