Delete server2.mli