fix: kill 10 process optimization (#1883)

pull/1884/head
Xinwei Xiong 10 months ago committed by GitHub
parent ee24515761
commit 0865eb65b1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -486,7 +486,7 @@ openim::util::stop_services_on_ports() {
local pid=$(echo $line | awk '{print $2}')
# Try to stop the service by killing its process.
if kill -TERM $pid; then
if kill -10 $pid; then
stopped+=($port)
else
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 [[ -n $pid ]]; then
# 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
fi
fi
@ -1722,7 +1722,7 @@ openim::util::stop_services_on_ports() {
local pid=$(echo $line | awk '{print $2}')
# Try to stop the service by killing its process.
if kill -TERM $pid; then
if kill -10 $pid; then
stopped+=($port)
else
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 [[ -n $pid ]]; then
# 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
fi
fi

Loading…
Cancel
Save