wget inklusive Pipe bei SIGINT abschießen...

Hallo,

gegeben ist ein Programm, welches Scripte aufruft, sobald ein bestimmter
"Job" zu erledigen ist. Wird der Dienst des Scripts nicht mehr benötigt,
dann sendet dieses Programm an die PID des Scriptes ein SIGINT-Signal.

Ein einfaches Beispiel wäre folgendes:

#!/bin/bash
echo "Our PID is $$"
wget -O - http://listen.technobase.fm/tunein-aacplus-pls | cat >
/tmp/dummy.tmp

Ja, das "cat" muss dort bleiben und steht stellvertretend für
"ffmpeg",
welches später den Stream wandeln soll.

Mein Problem ist jetzt, dass ich schon jeden erdenklichen Versuch
unternommen habe, es aber nicht hinbekomme, dass wget stirbt, wenn ich
an die PID, die das Script ja ganz am Anfang ausgibt, ein SIGINT sende.
Das Script läuft munter weiter und ignoriert das Signal.

Wer hat eine Idee....

CU

Manuel

--
www.jetzt-abwaehlen.de Wählen gehen 2009! Ein Aufruf etwas zu ändern.
Der Mensch erfand Maschinen, um sich damit die Arbeit zu erleichtern.
Nur leider hat er vergessen, rechtzeitig damit aufzuhören...
Beiträge mit *X-No-Html Header* kann ich weder lesen, noch beantworten!

[ Auf dieses Posting antworten ]

Antworten

Cyrus Kriticos (18.07.2009 21:27)

Markus Wichmann (18.07.2009 22:10)