Restart the systems and attempt to recover any data that may have been lost. then speak to end user and find out what went wrong on their side to resolve that issue then adjust the server and file system and backup before anyone else comes across that issue again.