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