added mutexes to file server