- fixes issue where
mux
would sometimes fail to kill all children processestree-kill
usespgrep -P <PID>
which did not pick up on some grandchildren processes. Replaced implementation with one usingps-tree
Full Changelog: 1.0.3...1.0.4
mux
would sometimes fail to kill all children processes
tree-kill
uses pgrep -P <PID>
which did not pick up on some grandchildren processes. Replaced implementation with one using ps-tree
Full Changelog: 1.0.3...1.0.4