Comment 10 for bug 751265

Thanks. A quick test here does not expose the actual problem (I can play back an ogg file through vlc -> pulseaudio just fine), so I guess we need to figure out a way to force this bug to appear. I have seen similar things being reported here lately (pool full errors) so this might be something to have a closer look at when I get home (hopefully...)