Check if he's really reaching the right server.
ping the server from his computer and check with tcpdump on server side.
If not reaching the server, try traceroute to track where is going on.
Local address or Internet address address?
If local address, maybe he had already accessed other server with the same address.
--
Lucas Castro