A streaming mp3 audio server