// Nothing to do. public virtual void Destroy() { if (registrationSocket != null && !registrationSocket.IsClosed()) { registrationSocket.Close(); } }