diff options
| author | Martin Aeschlimann <martinae@microsoft.com> | 2022-01-21 19:19:52 +0300 |
|---|---|---|
| committer | Martin Aeschlimann <martinae@microsoft.com> | 2022-01-21 19:19:52 +0300 |
| commit | ef4549b141911a3dbad90c6ed67c6e03e5a8e931 (patch) | |
| tree | 5b117eef9ba89fffd9651a1d906c4f19dc9b3082 /scripts | |
| parent | d46ed369512cc513866870e0f15ecdce473583f4 (diff) | |
| parent | 79981da8e24357bad94366eedea6da1f30e4e4fe (diff) | |
Merge branch 'main' into aeschli/noremoteindicatorweb
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/code-server.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/code-server.js b/scripts/code-server.js index 4ee2e88abc8..287b229bdda 100644 --- a/scripts/code-server.js +++ b/scripts/code-server.js @@ -40,7 +40,7 @@ const HOST = args['host'] ?? 'localhost'; const PORT = args['port'] ?? '9888'; const TOKEN = args['connection-token'] ?? String(crypto.randomInt(0xffffffff)); -if (args['launch'] && args['connection-token'] === undefined && args['connection-token-file'] === undefined && !args['no-connection-token']) { +if (args['launch'] && args['connection-token'] === undefined && args['connection-token-file'] === undefined && !args['without-connection-token']) { serverArgs.push('--connection-token', TOKEN); } if (args['host'] === undefined) { |