mirror of
https://github.com/dokku/dokku.git
synced 2026-02-24 04:00:36 +01:00
Merge pull request #7088 from andreby/master
Handle the case where parent PID is 0
This commit is contained in:
2
debian/prerm
vendored
2
debian/prerm
vendored
@@ -20,7 +20,7 @@ ps_backtrace() {
|
||||
fi
|
||||
ppid=$(ps -o ppid= $pid)
|
||||
ps uww $header_modifier -p $pid
|
||||
if [ $pid -eq 1 ]; then
|
||||
if [ $pid -eq 1 -o $pid -eq 0 ]; then
|
||||
break
|
||||
fi
|
||||
pid=$ppid
|
||||
|
||||
Reference in New Issue
Block a user