Update server.ml : timeout is partially implemented