diff options
| -rw-r--r-- | package/base-files/files/lib/functions/service.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/package/base-files/files/lib/functions/service.sh b/package/base-files/files/lib/functions/service.sh index d352a44..3d08e14 100644 --- a/package/base-files/files/lib/functions/service.sh +++ b/package/base-files/files/lib/functions/service.sh @@ -101,26 +101,3 @@ service_stop() { service_reload() { SERVICE_SIG="${SERVICE_SIG:-$SERVICE_SIG_RELOAD}" service -K "$@" } - -service_kill() { - cat 1>&2 << __END_OF_WARNING__ -# -# WARNING: the 'service_kill' function is now deprecated and might be -# removed soon. Consider using the other new service_* wrappers instead. -# -__END_OF_WARNING__ - local name="${1}" - local pid="${2:-$(pidof "$name")}" - local grace="${3:-5}" - - [ -f "$pid" ] && pid="$(head -n1 "$pid" 2>/dev/null)" - - for pid in $pid; do - [ -d "/proc/$pid" ] || continue - local try=0 - kill -TERM $pid 2>/dev/null && \ - while grep -qs "$name" "/proc/$pid/cmdline" && [ $((try++)) -lt $grace ]; do sleep 1; done - kill -KILL $pid 2>/dev/null && \ - while grep -qs "$name" "/proc/$pid/cmdline"; do sleep 1; done - done -} |