From 14f8d3a33a5d93701c3eb2071c6c2f469488d5fc Mon Sep 17 00:00:00 2001 From: Walter de Jong Date: Sat, 24 Aug 2024 21:11:06 +0200 Subject: [PATCH] gpui: Send correct kill signal on Linux (#16797) should be kill -0 (zero) instead Related to #14291 and #14310 Release Notes: - N/A --- crates/gpui/src/platform/linux/platform.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/gpui/src/platform/linux/platform.rs b/crates/gpui/src/platform/linux/platform.rs index 3d7f8c2adc30119c2a57def41a6b976f79f43084..0aa17e534ab760694c999b9b38cf1c56bbd27371 100644 --- a/crates/gpui/src/platform/linux/platform.rs +++ b/crates/gpui/src/platform/linux/platform.rs @@ -184,7 +184,7 @@ impl Platform for P { // cleaned up when `kill -0` returns. let script = format!( r#" - while kill -O {pid} 2>/dev/null; do + while kill -0 {pid} 2>/dev/null; do sleep 0.1 done