web - rename resources/serverless => resources/web

This commit is contained in:
Benjamin Pasero 2020-08-18 09:49:48 +02:00
parent 494c209353
commit 651fb28e3c
5 changed files with 5 additions and 5 deletions

2
.vscode/launch.json vendored
View file

@ -241,7 +241,7 @@
"type": "node",
"request": "launch",
"name": "VS Code (Web)",
"program": "${workspaceFolder}/resources/serverless/code-web.js",
"program": "${workspaceFolder}/resources/web/code-web.js",
"presentation": {
"group": "0_vscode",
"order": 2

View file

@ -119,12 +119,12 @@ const copyrightFilter = [
'!resources/linux/snap/snapcraft.yaml',
'!resources/linux/snap/electron-launch',
'!resources/win32/bin/code.js',
'!resources/web/code-web.js',
'!resources/completions/**',
'!extensions/markdown-language-features/media/highlight.css',
'!extensions/html-language-features/server/src/modes/typescript/*',
'!extensions/*/server/bin/*',
'!src/vs/editor/test/node/classification/typescript-test.ts',
'!resources/serverless/code-web.js'
'!src/vs/editor/test/node/classification/typescript-test.ts'
];
const jsHygieneFilter = [

View file

@ -40,7 +40,7 @@
"valid-layers-check": "node build/lib/layersChecker.js",
"strict-function-types-watch": "tsc --watch -p src/tsconfig.json --noEmit --strictFunctionTypes",
"update-distro": "node build/npm/update-distro.js",
"web": "node resources/serverless/code-web.js",
"web": "node resources/web/code-web.js",
"compile-web": "gulp compile-web --max_old_space_size=4095",
"watch-web": "gulp watch-web --max_old_space_size=4095",
"eslint": "eslint -c .eslintrc.json --rulesdir ./build/lib/eslint --ext .ts --ext .js ./src/vs ./extensions"

View file

@ -397,7 +397,7 @@ async function handleCallback(req, res, parsedUrl) {
// add to map of known callbacks
mapCallbackUriToRequestId.set(requestId, JSON.stringify({ scheme: vscodeScheme || 'code-oss', authority: vscodeAuthority, path: vscodePath, query, fragment: vscodeFragment }));
return serveFile(req, res, path.join(APP_ROOT, 'resources', 'serverless', 'callback.html'), { 'Content-Type': 'text/html' });
return serveFile(req, res, path.join(APP_ROOT, 'resources', 'web', 'callback.html'), { 'Content-Type': 'text/html' });
}
/**