Hi,

...

...

...

http://gaudi.enstb.org/webfolder/index.py?id=3&cookie=toto

mplayer tries to parse this as a playlist, wget downloads it fine

please fix :)

This fixes it, but no idea what it will break...

btw, this patch works for me, the guy put the url back up to test :)