web - adopt latest server

This commit is contained in:
Benjamin Pasero
2019-06-14 07:43:59 +02:00
parent 09158c5b7a
commit e733490985
3 changed files with 15 additions and 18 deletions

View File

@@ -13,11 +13,10 @@
<!-- Startup via workbench.js -->
<script>
self.CONNECTION_AUTH_TOKEN = '{{CONNECTION_AUTH_TOKEN}}';
self.SERVER_APP_ROOT = '{{SERVER_APP_ROOT}}';
self.WINDOW_CONFIGURATION = {
folderPath: '{{FOLDER}}',
workspacePath: '{{WORKSPACE}}',
userDataPath: '{{USER_DATA}}'
folderUri: '{{FOLDER}}',
workspaceUri: '{{WORKSPACE}}',
userDataUri: '{{USER_DATA}}'
}
</script>