diff options
author | Martin Aeschlimann <martinae@microsoft.com> | 2022-02-04 12:43:41 +0300 |
---|---|---|
committer | Martin Aeschlimann <martinae@microsoft.com> | 2022-02-04 12:44:06 +0300 |
commit | aa1edaba5e85dcae3e9fe1de876e77cb22c66c6c (patch) | |
tree | 5341e7b8fec7219aecb2f3ff09a98c2b320241f8 /scripts | |
parent | 0df5c692b6cef112b73368da90fc2d922cc6433c (diff) |
code-web: fix handling of `--playground`
Diffstat (limited to 'scripts')
-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); |