Account for disabled proxy in startup logs

code-asher · code-asher · commit e37b35278d4b · 2023-07-27T09:26:11.000-08:00
diff --git a/src/node/main.ts b/src/node/main.ts
@@ -144,7 +144,9 @@ export const runCodeServer = async (
     logger.info("  - Not serving HTTPS")
   }
 
-  if (args["proxy-domain"].length > 0) {
+  if (args["disable-proxy"]) {
+    logger.info("  - Proxy disabled")
+  } else if (args["proxy-domain"].length > 0) {
     logger.info(`  - ${plural(args["proxy-domain"].length, "Proxying the following domain")}:`)
     args["proxy-domain"].forEach((domain) => logger.info(`    - ${domain}`))
   }

Original file line number	Diff line number	Diff line change
`@@ -144,7 +144,9 @@ export const runCodeServer = async (`
`144`	`144`	`logger.info(" - Not serving HTTPS")`
`145`	`145`	`}`
`146`	`146`
`147`		`- if (args["proxy-domain"].length > 0) {`
	`147`	`+ if (args["disable-proxy"]) {`
	`148`	`+ logger.info(" - Proxy disabled")`
	`149`	`+ } else if (args["proxy-domain"].length > 0) {`
`148`	`150`	logger.info(` - ${plural(args["proxy-domain"].length, "Proxying the following domain")}:`)
`149`	`151`	args["proxy-domain"].forEach((domain) => logger.info(` - ${domain}`))
`150`	`152`	`}`