aboutsummaryrefslogtreecommitdiff
path: root/xtask/src
diff options
context:
space:
mode:
authorBlaž Hrastnik2023-05-19 00:39:35 +0000
committerGitHub2023-05-19 00:39:35 +0000
commit53f47bc47771c94dab51626ca025be28e62eba0c (patch)
treec8f5c59d40d1ecde227c209f898cc7afd6da5477 /xtask/src
parent7f5940be80eaa3aec7903903072b7108f41dd97b (diff)
parent2a512f7c487f0a707a7eb158e24bd478433bcd91 (diff)
Merge pull request #2507 from Philipp-M/multiple-language-servers
Add support for multiple language servers per language
Diffstat (limited to 'xtask/src')
-rw-r--r--xtask/src/docgen.rs11
1 files changed, 6 insertions, 5 deletions
diff --git a/xtask/src/docgen.rs b/xtask/src/docgen.rs
index 473882f3..034d9918 100644
--- a/xtask/src/docgen.rs
+++ b/xtask/src/docgen.rs
@@ -96,11 +96,12 @@ pub fn lang_features() -> Result<String, DynError> {
);
}
row.push(
- lc.language_server
- .as_ref()
- .map(|s| s.command.clone())
- .map(|c| md_mono(&c))
- .unwrap_or_default(),
+ lc.language_servers
+ .iter()
+ .filter_map(|ls| config.language_server.get(&ls.name))
+ .map(|s| md_mono(&s.command.clone()))
+ .collect::<Vec<_>>()
+ .join(", "),
);
md.push_str(&md_table_row(&row));