procedure Disconnect
Disconnect from server.