Can we use regular websocket connection instead of socket.io

Hello, team.

Our implementation has middle “router” that bypass websocket connection between browser and theia server. With socket.io theia updates, The router websocket implementation is broken since there are different protocol. It works perfect fine with Theia 1.19. I wondering if we can config Theia not use socket.io?

Thanks.

@leogong99 You should be able to override the related services to use a normal websocket. These overrides need to happen on both the frontend and backend level. See also:

Thnks. will try out.