include service worker in build

jrieken · jrieken · commit d75caf044efc · 2019-07-04T14:50:57.000+02:00
diff --git a/build/gulpfile.vscode.js b/build/gulpfile.vscode.js
@@ -49,6 +49,7 @@ const nodeModules = ['electron', 'original-fs']
 const vscodeEntryPoints = _.flatten([
 	buildfile.entrypoint('vs/workbench/workbench.main'),
 	buildfile.base,
+	buildfile.serviceWorker,
 	buildfile.workbench,
 	buildfile.code
 ]);
diff --git a/src/buildfile.js b/src/buildfile.js
@@ -11,6 +11,14 @@ exports.base = [{
 	dest: 'vs/base/worker/workerMain.js'
 }];
 
+exports.serviceWorker = [{
+	name: 'vs/workbench/contrib/resources/browser/resourceServiceWorker',
+	// include: ['vs/editor/common/services/editorSimpleWorker'],
+	prepend: ['vs/loader.js'],
+	append: ['vs/workbench/contrib/resources/browser/resourceServiceWorkerMain'],
+	dest: 'vs/workbench/contrib/resources/browser/resourceServiceWorkerMain.js'
+}];
+
 exports.workbench = require('./vs/workbench/buildfile').collectModules(['vs/workbench/workbench.main']);
 exports.workbenchWeb = require('./vs/workbench/buildfile').collectModules(['vs/workbench/workbench.web.api']);
 
