When $pid in posix_kill($pid, $signo) is null it kills other programs like Firefox, Terminal, even Gnome Shell. This patch adds a null check to avoid this.
Discovered via phpactor in Sublime Text: removing several folders in quick succession causes posix_kill to be called with null, for whatever reason, which causes a bunch of programs to crash.
When
$pid
inposix_kill($pid, $signo)
isnull
it kills other programs like Firefox, Terminal, even Gnome Shell. This patch adds a null check to avoid this.Discovered via phpactor in Sublime Text: removing several folders in quick succession causes
posix_kill
to be called withnull
, for whatever reason, which causes a bunch of programs to crash.See https://github.com/phpactor/phpactor/issues/2516