Omit proxy path prefix from socket.io base path (#13054)

Signed-off-by: Beniamino Ventura <[email protected]>
eclipse-theia · Nov 7, 2023 · df48285 · df48285
1 parent 0ccf06b
commit df48285
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 {