Method code for $dns.shutdown()

[Turn on line numbering]

---

arg @args;
var c;

sender() != this() && (> .perms(caller(), 'system) <);
c = connection;
connection = 0;
(| c.close() |);
started = 0;

---

// Created 01-Jul-1997 as a part of ColdCore, see: @help Credit