Method code for $dns.shutdown()

[Turn off line numbering]

---

  1: arg @args;
  2: var c;
  3: 
  4: sender() != this() && (> .perms(caller(), 'system) <);
  5: c = connection;
  6: connection = 0;
  7: (| c.close() |);
  8: started = 0;

---

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