Normalize paths of workspace roots

This avoids having workspace roots like /workspace/../../workspace when having relative paths in the workspace roots configuration. Fixes eclipse-theia#7597 Signed-off-by: Cornelius A. Ludmann <cornelius.ludmann@typefox.io>
corneliusludmann · Apr 17, 2020 · 205d7ba · 205d7ba
1 parent ebf7b78
commit 205d7ba
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/workspace/src/browser/workspace-service.ts b/packages/workspace/src/browser/workspace-service.ts
@@ -427,7 +427,8 @@ export class WorkspaceService implements FrontendApplicationContribution {
             if (uriStr.endsWith('/')) {
                 uriStr = uriStr.slice(0, -1);
             }
-            const fileStat = await this.fileSystem.getFileStat(uriStr);
+            const normalizedUriStr = new URI(uriStr).normalizePath().toString();
+            const fileStat = await this.fileSystem.getFileStat(normalizedUriStr);
             if (!fileStat) {
                 return undefined;
             }