Update server.ml : minor bugs fixed