fix: omit proxy path prefix from socket.io base path

Signed-off-by: Beniamino Ventura <[email protected]>
eclipse-theia · Nov 5, 2023 · 5107942 · 5107942
1 parent aab4102
commit 5107942
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/core/src/browser/messaging/ws-connection-provider.ts b/packages/core/src/browser/messaging/ws-connection-provider.ts
@@ -119,7 +119,7 @@ export class WebSocketConnectionProvider extends AbstractConnectionProvider<WebS
     protected createWebSocketUrl(path: string): string {
         // Since we are using Socket.io, the path should look like the following:
         // proto://domain.com/{path}
-        return this.createEndpoint(path).getWebSocketUrl().toString();
+        return this.createEndpoint(path).getWebSocketUrl().withPath(path).toString();
     }
 
     protected createHttpWebSocketUrl(path: string): string {