diff options
-rw-r--r-- | scripts/code-web.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/code-web.js b/scripts/code-web.js index 2d8a09a7c74..2e4b1596dac 100644 --- a/scripts/code-web.js +++ b/scripts/code-web.js @@ -60,7 +60,7 @@ async function main() { serverArgs.push('--port', PORT); } - if (args['playground'] || args['_'].length === 0) { + if (args['playground'] === true || (args['playground'] !== false && args['_'].length === 0)) { serverArgs.push('--extensionPath', WEB_DEV_EXTENSIONS_ROOT); serverArgs.push('--folder-uri', 'memfs:///sample-folder'); await ensureWebDevExtensions(args['verbose']); @@ -74,7 +74,7 @@ async function main() { serverArgs.push('--sourcesPath', APP_ROOT); - serverArgs.push(...process.argv.slice(2).filter(v => v !== '--playground')); + serverArgs.push(...process.argv.slice(2).filter(v => !v.startsWith('--playground') && v !== '--no-playgorund')); startServer(serverArgs); |