Delete server2.ml