If you're on-premise you should be able to check the event viewer on the CRM server to see if anything more descriptive was logged.
Otherwise it's hard to say, but if he tried it again and it worked then I would say it is a one off.
Paul
If my response helped you find your answer please show your thanks by taking the time to "Mark As Answer" and "Vote As Helpful".
