On Thu, Sep 11, 2014 at 07:56:52PM +0200, Michael Adam wrote: > > Obvioulsy better! Thanks ! > This is also the way I fixed open_file() before... :-) Yeah, but in that case we weren't using 'file_exists' ever again :-). > Pushing... Thanks !