#75079 Use real configurataion service for web

This commit is contained in:
Sandeep Somavarapu
2019-06-07 16:40:48 +02:00
parent 53852e0f85
commit 5c171295fc
5 changed files with 127 additions and 175 deletions

View File

@@ -13,8 +13,12 @@
<!-- Startup via workbench.js -->
<script>
self.CONNECTION_AUTH_TOKEN = '{{CONNECTION_AUTH_TOKEN}}';
self.USER_HOME_DIR = '{{USER_HOME_DIR}}';
self.SERVER_APP_ROOT = '{{SERVER_APP_ROOT}}';
self.WINDOW_CONFIGURATION = {
settingsPath: '{{SETTINGS}}',
folderPath: '{{FOLDER}}',
workspacePath: '{{WORKSPACE}}',
}
</script>
<!-- Startup via workbench.js -->

View File

@@ -36,9 +36,8 @@
],
// @ts-ignore
function () {
// @ts-ignore
require('vs/workbench/browser/web.main').main().then(undefined, console.error);
require('vs/workbench/browser/web.main').main(self['WINDOW_CONFIGURATION']).then(undefined, console.error);
});
});
})();