From dd0f0bda083cc43ebe93e8a5968fa0f118c61aed Mon Sep 17 00:00:00 2001
From: Martin Aeschlimann <martinae@microsoft.com>
Date: Thu, 20 Jan 2022 17:26:16 +0100
Subject: [PATCH] code-server dev script: fix open with connection token

---
 resources/server/bin-dev/code-server.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/server/bin-dev/code-server.js b/resources/server/bin-dev/code-server.js
index 5b46325a906..dc2b6a7eebe 100644
--- a/resources/server/bin-dev/code-server.js
+++ b/resources/server/bin-dev/code-server.js
@@ -15,6 +15,7 @@ const minimist = require('minimist');
 const args = minimist(process.argv.slice(2), {
 	boolean: [
 		'help',
+		'launch'
 	],
 	string: [
 		'host',
@@ -37,7 +38,7 @@ const HOST = args['host'] ?? 'localhost';
 const PORT = args['port'] ?? '9888';
 const TOKEN = args['connection-token'] ?? String(crypto.randomInt(0xffffffff));
 
-if (!args['connection-token'] === undefined && !args['connection-token-file'] === undefined && !args['no-connection-token']) {
+if (args['connection-token'] === undefined && args['connection-token-file'] === undefined && !args['no-connection-token']) {
 	serverArgs.push('--connection-token', TOKEN);
 }
 if (args['host'] === undefined) {