The trick to do "task || task" in cron did work several times.
I am very grateful but (would you believe it) only yesterday the system was moved onto something with far more memory. :-(
I doubt it will suffer the problem again. If this becomes an issue for others I would be happy to set-up a machine to try the patch out.
Berni -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
