mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-18 10:06:33 +00:00

Catch the ESRCH error when terminating non-existing backend process. Signed-off-by: Akos Kitta <kittaakos@typefox.io>
Catch the ESRCH error when terminating non-existing backend process. Signed-off-by: Akos Kitta <kittaakos@typefox.io>