Update server.ml : PASS is fully implemented