Playing ".$channel."... Request from ".$_SERVER["REMOTE_ADDR"]."
"; } function stop() { exec('sudo -u radio pkill mplayer > /dev/null 2>&1'); echo "Music stopped
"; } if($_GET["action"]=="play") { $channel = $_GET['channel']; echo "Channel name: ".$channel; if(file_exists($channel.".pls")) { stop(); play($channel); } else { echo "Channel ".$channel." not found!"; } } else if($_GET["action"]=="stop") { stop(); } else { echo "Unknown action!"; } ?>