Hi Jari,
OK I will add a stat() and see if I can make some other improvements. May take me a few weeks to get around to it, as summer seems to have started here.
Cheers, Koen. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
