Method code for $connection.close()

[Turn on line numbering]

---

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

---

["// Created 21-Aug-1995 as a part of ColdCore, see: @help Credit"]