fix: kill 10 process optimization

pull/1883/head
Xinwei Xiong (cubxxw) 2 years ago
parent ee24515761
commit 28fc59ca38

@ -486,7 +486,7 @@ openim::util::stop_services_on_ports() {
local pid=$(echo $line | awk '{print $2}') local pid=$(echo $line | awk '{print $2}')
# Try to stop the service by killing its process. # Try to stop the service by killing its process.
if kill -TERM $pid; then if kill -10 $pid; then
stopped+=($port) stopped+=($port)
else else
not_stopped+=($port) not_stopped+=($port)
@ -563,7 +563,7 @@ openim::util::stop_services_with_name() {
# If there's a Process ID, it means the service with the name is running. # If there's a Process ID, it means the service with the name is running.
if [[ -n $pid ]]; then if [[ -n $pid ]]; then
# Try to stop the service by killing its process. # Try to stop the service by killing its process.
if kill -TERM $pid 2>/dev/null; then if kill -10 $pid 2>/dev/null; then
stopped_this_time=true stopped_this_time=true
fi fi
fi fi
@ -1722,7 +1722,7 @@ openim::util::stop_services_on_ports() {
local pid=$(echo $line | awk '{print $2}') local pid=$(echo $line | awk '{print $2}')
# Try to stop the service by killing its process. # Try to stop the service by killing its process.
if kill -TERM $pid; then if kill -10 $pid; then
stopped+=($port) stopped+=($port)
else else
not_stopped+=($port) not_stopped+=($port)
@ -1799,7 +1799,7 @@ openim::util::stop_services_with_name() {
# If there's a Process ID, it means the service with the name is running. # If there's a Process ID, it means the service with the name is running.
if [[ -n $pid ]]; then if [[ -n $pid ]]; then
# Try to stop the service by killing its process. # Try to stop the service by killing its process.
if kill -TERM $pid 2>/dev/null; then if kill -10 $pid 2>/dev/null; then
stopped_this_time=true stopped_this_time=true
fi fi
fi fi

Loading…
Cancel
Save