using LIVE stream URL instead of LOCAL FILE

Hello, I would like to ask you if your script can handle playing an mp3 live stream (http://server:9000/stream.mp3) instead of a local file. If you, could you kindly tell me what part of the code I need to change and how?
Thanks so much!