frank@fwi.uva.nl (Frank van der Linden) writes:

> 
> Unfortunately: not at the moment. It is a problem that has probably
> been around for a while. I'd love to fix it, but can't seem to reproduce
> it myself for now..

Sounds like what would happen if file handles are not consistent
across reboots...