URI decode the workspace path in location.hash

Signed-off-by: Rob Moran <[email protected]>
eclipse-theia · Feb 16, 2019 · 2d090d3 · 2d090d3 · jodeokrae · Feb 18, 2019
1 parent 5967a99
commit 2d090d3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/workspace/src/browser/workspace-service.ts b/packages/workspace/src/browser/workspace-service.ts
@@ -93,8 +93,8 @@ export class WorkspaceService implements FrontendApplicationContribution {
     protected getDefaultWorkspacePath(): MaybePromise<string | undefined> {
         // Prefer the workspace path specified as the URL fragment, if present.
         if (window.location.hash.length > 1) {
-            // Remove the leading #.
-            const wpPath = window.location.hash.substring(1);
+            // Remove the leading # and decode the URI.
+            const wpPath = decodeURI(window.location.hash.substring(1));
             return new URI().withPath(wpPath).withScheme('file').toString();
         } else {
             // Else, ask the server for its suggested workspace (usually the one