gpui: Send correct kill signal on Linux (#16797)

should be kill -0 (zero) instead

Related to #14291 and #14310

Release Notes:

- N/A
This commit is contained in:
Walter de Jong 2024-08-24 21:11:06 +02:00 committed by GitHub
parent 29f97e2755
commit 14f8d3a33a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -184,7 +184,7 @@ impl<P: LinuxClient + 'static> 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