Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2025-12-20 02:08:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixes Code QL alert (#188269)

Browse Source
This commit is contained in:
Henning Dieterichs
2023-07-19 16:01:20 +02:00
committed by GitHub
parent 13c459708f
commit 61611e4fe2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/playground-server.ts
View File

@@ -280,7 +280,7 @@ function makeLoaderJsHotReloadable(loaderJsCode: string, fileChangesUrl: URL): s
if (___globalModuleManager._modules2[moduleId]) { if (___globalModuleManager._modules2[moduleId]) {
const srcUrl = ___globalModuleManager._config.moduleIdToPaths(data.moduleId); const srcUrl = ___globalModuleManager._config.moduleIdToPaths(data.moduleId);
const newSrc = await (await fetch(srcUrl)).text(); const newSrc = await (await fetch(srcUrl)).text();
(new Function('define', newSrc))(function (deps, callback) { (new Function('define', newSrc))(function (deps, callback) { // CodeQL [SM01632] This code is only executed during development (as part of the dev-only playground-server). It is required for the hot-reload functionality.
const oldModule = ___globalModuleManager._modules2[moduleId]; const oldModule = ___globalModuleManager._modules2[moduleId];
delete ___globalModuleManager._modules2[moduleId]; delete ___globalModuleManager._modules2[moduleId];