kmullin/zombie_passenger_killer — comment on commit 717fc74d712abc70a2220533de0723cd648f50c0
File:  line 0
By grosser:

Thanks for the hint, I noticed, but I did not care :)
killing a non-existent pid has no drawbacks afaik