mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-06 08:07:49 +00:00
`taskkill /T /F` only starts terminating the tree, and the caller then waits for its direct child. A grandchild could still be exiting, with its files open, when `kill_tree` returned or `Peer::exited` resolved. The descendants are now opened before the kill and waited for (up to 5 s) after it. A process counts as a descendant only if it started after its parent, so a reused parent id doesn't pull in unrelated processes. Closes #1270
26 lines
760 B
TOML
26 lines
760 B
TOML
[package]
|
|
name = "ide-core"
|
|
description = "Shared vocabulary of OpenIDEA: ids, text coordinates, events, errors, settings"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
|
|
[dependencies]
|
|
dunce.workspace = true
|
|
encoding_rs.workspace = true
|
|
serde.workspace = true
|
|
serde_json.workspace = true
|
|
specta.workspace = true
|
|
specta-typescript.workspace = true
|
|
thiserror.workspace = true
|
|
tokio-util.workspace = true
|
|
|
|
[dev-dependencies]
|
|
tempfile.workspace = true
|
|
|
|
[target.'cfg(unix)'.dependencies]
|
|
libc = "0.2"
|
|
|
|
[target.'cfg(windows)'.dependencies]
|
|
windows-sys = { version = "0.61", features = ["Win32_Globalization", "Win32_Security", "Win32_System_Registry", "Win32_Foundation", "Win32_System_Diagnostics_ToolHelp", "Win32_System_Threading"] }
|