Update server.ml : minor bug fixed