Has anyone experienced problems with recent CVS HEAD (as of 30th April)
version of * completely crashing the PC on shutdown? (I can't see the
console, because the server is located in remote data centre).
The problem doesn't appear to happen all the time. Only when * has been
running for a while.