Due to instability of the file server which was affecting access for a number of users, we restarted the server to correct the problems.