NFS file share had hung on www.cs, either because of high load or a Linux kernel bug. This was fixed by restarting www.cs.
