web - fix broken static extensions

Benjamin Pasero · Benjamin Pasero · commit 5de60c1be4f4 · 2019-09-19T11:53:30.000+02:00
diff --git a/src/vs/code/browser/workbench/workbench.ts b/src/vs/code/browser/workbench/workbench.ts
@@ -209,4 +209,10 @@ if (options.workspaceUri) {
 	options.workspaceUri = URI.revive(options.workspaceUri);
 }
 
+if (Array.isArray(options.staticExtensions)) {
+	options.staticExtensions.forEach(extension => {
+		extension.extensionLocation = URI.revive(extension.extensionLocation);
+	});
+}
+
 create(document.body, options);
