Le Friday 15 September 2006, à 19:07:56PM +0100, Peter a écrit : 
> 
> That's a good thing to do, but probably it's safer to sanitize all the
> options...  does the following patch work?
> 
Yes, your patch works
thanks

arno