Update packaging/tools/remove.sh
Co-authored-by: WANG Xu <feici02@outlook.com>
This commit is contained in:
parent
6e71f41e8c
commit
184162545b
|
@ -90,7 +90,7 @@ fi
|
|||
|
||||
kill_service_of() {
|
||||
_service=$1
|
||||
pid=$(ps -C $_service |grep -w $_service | grep -v $uninstallScript | awk '{print $1}')
|
||||
pid=$(ps -C $_service | grep -w $_service | grep -v $uninstallScript | awk '{print $1}')
|
||||
if [ -n "$pid" ]; then
|
||||
${csudo}kill -9 $pid || :
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue