Comment tuer un sous-process créé avec un pipe
Bonjour,
j'ai un script bash qui lance en batch une commande pipée vers une autre.
Comment puis-je tuer les deux?
En essayant de récupérer le PID avec $!, je ne tue que la "moitié" du batch: à la fin (s'il ne doit en rester qu'un...), il reste toujours le "tail" :-(
J'ai essayé avec différents signaux (kill, hup, term).
Voici un exemple simplifié (juste pour tester le comportement du $! et du kill).
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
| #!/bin/bash
# -*- coding: latin-1 -*-
myloop() {
while true ; do sleep 1 ; done
}
clean_all() {
echo "Killing BANG_PID: kill -${MY_KILL} ${BANG_PID}"
kill -${MY_KILL} ${BANG_PID}
echo ""
ps -ef | egrep --color=tty "(${CMD}| ${MY_PID} | ${BANG_PID}) "
}
CMD=$(basename $0)
MY_PID=$$
echo "MY_PID ${MY_PID}"
TMP_FILE=${1:-/tmp/toto}
touch ${TMP_FILE}
MY_KILL=${2:-KILL}
tail -F ${TMP_FILE} | myloop &
BANG_PID=$!
echo "BANG_PID ${BANG_PID}"
echo ""
# ----------------------------------------------------------------
# Catch the C-c interrupt signal
trap "echo trap; clean_all; exit" 1 2 15
while true ; do
ps -ef | egrep --color=tty "(${CMD}| tail | ${MY_PID} | ${BANG_PID}) "
echo ""
sleep 5;
done |
Si quelqu'un a une solution, je suis preneur!
Merci d'avance
)jack(
