I've been having problems with /public. It takes several minutes to mount, if it actually does mount. Programs using the directory for data have all died the past few days because the mount point goes away.
When I currently do a 'df -k' on tools-login, I get:
df: `/home (deleted)': No such file or directory
df: `/data/project (deleted)': No such file or directory
df: `/mnt/pagecounts (deleted)': No such file or directory
Version: unspecified
Severity: normal