Update server.ml : bugs fixed