cli: fix connection default being applied (#183827)

This commit is contained in:
Connor Peet 2023-05-30 11:44:42 -07:00 committed by GitHub
parent 5d83e25547
commit 62c33b3ca2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -611,7 +611,7 @@ async fn handle_serve(
) -> Result<EmptyObject, AnyError> {
// fill params.extensions into code_server_args.install_extensions
let mut csa = c.code_server_args.clone();
csa.connection_token = params.connection_token;
csa.connection_token = params.connection_token.or(csa.connection_token);
csa.install_extensions.extend(params.extensions.into_iter());
let params_raw = ServerParamsRaw {