diff --git a/src/vs/workbench/contrib/webview/browser/pre/service-worker.js b/src/vs/workbench/contrib/webview/browser/pre/service-worker.js index f4257b4d972..c4fad5a8b2c 100644 --- a/src/vs/workbench/contrib/webview/browser/pre/service-worker.js +++ b/src/vs/workbench/contrib/webview/browser/pre/service-worker.js @@ -122,39 +122,37 @@ const methodNotAllowed = () => sw.addEventListener('message', async (event) => { switch (event.data.channel) { - case 'version': - { - const source = /** @type {Client} */ (event.source); - sw.clients.get(source.id).then(client => { - if (client) { - client.postMessage({ - channel: 'version', - version: VERSION - }); - } - }); - return; - } - case 'did-load-resource': - { - /** @type {ResourceResponse} */ - const response = event.data.data; - if (!resourceRequestStore.resolve(response.id, response)) { - console.log('Could not resolve unknown resource', response.path); + case 'version': { + const source = /** @type {Client} */ (event.source); + sw.clients.get(source.id).then(client => { + if (client) { + client.postMessage({ + channel: 'version', + version: VERSION + }); } - return; + }); + return; + } + case 'did-load-resource': { + /** @type {ResourceResponse} */ + const response = event.data.data; + if (!resourceRequestStore.resolve(response.id, response)) { + console.log('Could not resolve unknown resource', response.path); } - case 'did-load-localhost': - { - const data = event.data.data; - if (!localhostRequestStore.resolve(data.id, data.location)) { - console.log('Could not resolve unknown localhost', data.origin); - } - return; + return; + } + case 'did-load-localhost': { + const data = event.data.data; + if (!localhostRequestStore.resolve(data.id, data.location)) { + console.log('Could not resolve unknown localhost', data.origin); } - default: + return; + } + default: { console.log('Unknown message'); return; + } } }); @@ -174,8 +172,9 @@ sw.addEventListener('fetch', (event) => { query: requestUrl.search.replace(/^\?/, ''), })); } - default: + default: { return event.respondWith(methodNotAllowed()); + } } } @@ -186,16 +185,17 @@ sw.addEventListener('fetch', (event) => { if (requestUrl.origin !== sw.origin && requestUrl.host === remoteAuthority) { switch (event.request.method) { case 'GET': - case 'HEAD': + case 'HEAD': { return event.respondWith(processResourceRequest(event, { path: requestUrl.pathname, scheme: requestUrl.protocol.slice(0, requestUrl.protocol.length - 1), authority: requestUrl.host, query: requestUrl.search.replace(/^\?/, ''), })); - - default: + } + default: { return event.respondWith(methodNotAllowed()); + } } }