Merge pull request #401 from coreemu/fix-core-cleanup-d-kill-daemon

fix-core-cleanup-d-kill-daemon
This commit is contained in:
bharnden 2020-03-04 13:58:19 -08:00 committed by GitHub
commit 902cfab677
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,7 @@ PATH="/sbin:/bin:/usr/sbin:/usr/bin"
export PATH
if [ "z$1" = "z-d" ]; then
pypids=`pidof python python2`
pypids=`pidof python3 python`
for p in $pypids; do
grep -q core-daemon /proc/$p/cmdline
if [ $? = 0 ]; then