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-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4e671603.1090...@elbournb.fsnet.co.uk