Method code for $ident_connection<$connection>.close()

[Turn off line numbering]

---

  1: sender() != this() && (> .perms(sender()) <);
  2: (> $sys.destroy_sender() <);

---

// Created 22-Aug-1995 as a part of ColdCore, see: @help Credit