Update server.ml : timeout is fully implemented