mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-26 08:17:20 +00:00

From now on, we spawn a detached process that will periodically check whether the parent Theia the process is alive, if no, terminates the daemon. Signed-off-by: Akos Kitta <kittaakos@typefox.io>