From d75caf044efcda3b8de8698d535bb2ad16699981 Mon Sep 17 00:00:00 2001
From: Johannes Rieken <johannes.rieken@gmail.com>
Date: Thu, 4 Jul 2019 14:50:28 +0200
Subject: [PATCH] include service worker in build

---
 build/gulpfile.vscode.js | 1 +
 src/buildfile.js         | 8 ++++++++
 2 files changed, 9 insertions(+)

diff --git a/build/gulpfile.vscode.js b/build/gulpfile.vscode.js
index 90082925121..2846595f605 100644
--- 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
index 62b2f30c0e4..0c77f1ae5fa 100644
--- 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']);