NFS Failure on copenhagen.cc.gatech.edu

At 5:50 PM on February 19, 2008, NFS failed on copenhagen.cc.gatech.edu, causing it to stop exporting /net/ac731. Restarting NFS on copenhagen.cc.gatech.edu fixed the problem, and /net/ac731 was back up at 6:00 PM.