Update server.ml : minor changes