Pi als Webradio

Ich betreibe einen meiner Pi’s als Webradio, also ohne GUI. Ich habe ein kleines Skript in die /etc/rc.local eingetragen, damit er gleich beim Booten meinen favorisierten Sender startet. Um das eigentliche Programm zum Abspielen des Senders habe ich eine endlos Schleife gebaut, so dass der Pi nach Abbruch des Streams gleich eine neue Verbindung aufbaut. Außerdem lasse ich die Prozessnummer des Skripts in eine Datei schreiben, da man sonst das Skript nicht killen kann, um z.B. einen anderen Sender zu hören. Die Prozessnummer erhält man mit dem Befehl $$.

COUNTER=0
echo $$ > /home/pi/scripte/WDRProzess  #Prozessnummer wird in WDRProzess gespeichert
while [ $COUNTER -lt 10 ]; do # Beginn der Endlosschleife
sudo killall mplayer # Kille evtl. vorhandene Streams
mplayer -cache 3000 -cache-min 12 http://wdr-wdr2-suedwestfalen.icecast.wdr.de/wdr/wdr2/suedwestfalen/mp3/128/stream.mp3
done # Ende der Schleife

Das Starten anderer Streams macht es jetzt zunächst erforderlich die Prozessnummer des evtl. laufenden Programms einzulesen und den Prozess zu killen. Das Programm zum Abspielen des Streams muss seperat gekillt werden, dies geschieht nicht automatisch mit dem Skript. Das sieht dann wie folgt aus:

alt=$(cat /home/pi/scripte/WDRProzess)
sudo killall $alt
sudo killall mplayer