Reorder id generation for Clients to stay close to the old behavior

pull/2507/head
Philipp Mildenberger 2 years ago
parent 56748509bd
commit dcb07673f8

@ -665,8 +665,8 @@ impl Registry {
.language_server_configs() .language_server_configs()
.get(&name) .get(&name)
.ok_or_else(|| anyhow::anyhow!("Language server '{name}' not defined"))?; .ok_or_else(|| anyhow::anyhow!("Language server '{name}' not defined"))?;
self.counter += 1;
let id = self.counter; let id = self.counter;
self.counter += 1;
let NewClient(client, incoming) = start_client( let NewClient(client, incoming) = start_client(
id, id,
name, name,

Loading…
Cancel
Save