mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-06 16:08:05 +00:00
Bernard Ograh
91c15ff31b
Five crates (tools, build, vcs, github, docker) each carried their own copy of killing a child and what it started, and only the tools installer killed the whole tree on Windows, so cancelling git, gh, docker or Maven/Gradle there left descendants running. ide-core now provides own_group, kill_tree and terminate_tree (process-group signals on Unix, taskkill /T /F on Windows) and the copies are removed. Unix behaviour is unchanged; the Windows path was not run locally. Co-authored-by: bograh <69661398+bograh@users.noreply.github.com>
28 lines
611 B
TOML
28 lines
611 B
TOML
[package]
|
|
name = "ide-tools"
|
|
description = "Installer for language servers and debug adapters: registry, detection, download/extract, managed tools dir"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
|
|
[dependencies]
|
|
ide-core.workspace = true
|
|
ide-language.workspace = true
|
|
serde.workspace = true
|
|
serde_json.workspace = true
|
|
specta.workspace = true
|
|
parking_lot.workspace = true
|
|
tracing.workspace = true
|
|
which = "8"
|
|
flate2 = "1"
|
|
tar = "0.4"
|
|
zip.workspace = true
|
|
sha2 = "0.10"
|
|
hex = "0.4"
|
|
|
|
[dev-dependencies]
|
|
tempfile.workspace = true
|
|
|
|
[target.'cfg(unix)'.dev-dependencies]
|
|
libc = "0.2"
|