The problem didn't happen again, but it now doesn't want to open the stream because a codec is missing. I was trying to play http://www.liveireland.com -- Crashed while opening a radio URL. https://launchpad.net/bugs/73587