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

[Turn on line numbering]

---

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

---

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