diff options
author | Manuel Reimer <manuel.reimer@gmx.de> | 2013-10-06 17:03:15 +0200 |
---|---|---|
committer | Manuel Reimer <manuel.reimer@gmx.de> | 2013-10-06 17:03:15 +0200 |
commit | 62fe9deb4e7edc755c4be49aa074dc952b532023 (patch) | |
tree | 9d33134a5349f930fb4aa2982c138ab12656661b | |
parent | c3a89ebb8a4ffdc76ca124380c0a844a311d0b70 (diff) | |
download | runvdr-extreme-62fe9deb4e7edc755c4be49aa074dc952b532023.tar.gz runvdr-extreme-62fe9deb4e7edc755c4be49aa074dc952b532023.tar.bz2 |
"kill" is a bash builtin since at least version 1.14.7
-rw-r--r-- | README | 2 | ||||
-rw-r--r-- | README.de | 2 | ||||
-rwxr-xr-x | runvdr | 12 |
3 files changed, 5 insertions, 11 deletions
@@ -149,12 +149,10 @@ Unix commands, that runvdr uses: Command Debian packet pgrep procps ps procps - kill procps sleep coreutils date coreutils chvt console-tools getopt util-linux - setterm util-linux @@ -154,12 +154,10 @@ Unix-Kommandos, die runvdr benutzt: Kommando Debian-Paket pgrep procps ps procps - kill procps sleep coreutils date coreutils chvt console-tools getopt util-linux - setterm util-linux @@ -35,7 +35,6 @@ RUNVDRCONF="" PGREP="pgrep" PS="ps" GETOPT="getopt" -KILL="kill" SLEEP="sleep" CHVT="chvt" DATE="date" @@ -104,7 +103,6 @@ DATE="date" which $PGREP >/dev/null || { echo missing $PGREP... >&2 ; exit 1 ; } which $PS >/dev/null || { echo missing $PS... >&2 ; exit 1 ; } which $GETOPT >/dev/null || { echo missing $GETOPT... >&2 ; exit 1 ; } -which $KILL >/dev/null || { echo missing $KILL... >&2 ; exit 1 ; } which $SLEEP >/dev/null || { echo missing $SLEEP... >&2 ; exit 1 ; } which $CHVT >/dev/null || { echo missing $CHVT... >&2 ; exit 1 ; } which $DATE >/dev/null || { echo missing $DATE... >&2 ; exit 1 ; } @@ -654,7 +652,7 @@ function WaitKill() { GetChilds "$1" "$2" echo -n "Sending ${#childlist[*]} processes the TERM signal." - $KILL -TERM ${childlist[*]} 2>/dev/null + kill -TERM ${childlist[*]} 2>/dev/null for ((i=0;i<$3;i++)) ; do $PS ${childlist[*]} >/dev/null || { echo terminated. ; return ; } @@ -665,7 +663,7 @@ function WaitKill() { echo echo -n "Sending ${#childlist[*]} processes the KILL signal." - $KILL -KILL ${childlist[*]} 2>/dev/null + kill -KILL ${childlist[*]} 2>/dev/null for ((i=0;i<$4;i++)) ; do $PS ${childlist[*]} >/dev/null || { echo terminated. ; return ; } @@ -769,7 +767,7 @@ fi if [ "$TERMINATE" != "0" ] ; then if [ -n "$TERMINATE" ] ; then echo -n "Terminating runvdr (PID=$TERMINATE)" - $KILL -TERM $TERMINATE + kill -TERM $TERMINATE while [ -z "$WAIT" ] || [ "$WAIT" -gt 0 ] ; do $PS $TERMINATE >/dev/null || { echo done ; break ; } echo -n "." @@ -787,7 +785,7 @@ fi if [ "$RESTART" != "0" ] ; then if [ -n "$RESTART" ] ; then echo -n "Restarting runvdr (PID=$RESTART)..." - $KILL -USR1 $RESTART + kill -USR1 $RESTART echo "" else echo "No runvdr process to restart." @@ -798,7 +796,7 @@ fi if [ "$DVBRESTART" != "0" ] ; then if [ -n "$DVBRESTART" ] ; then echo -n "DVB-restarting runvdr (PID=$DVBRESTART)..." - $KILL -USR2 $DVBRESTART + kill -USR2 $DVBRESTART echo "" else echo "No runvdr process to dvb-restart." |