Update server.ml and server.mli