Method code for $user_db.did_disconnect()

[Turn on line numbering]

---

.perms(caller(), $user);
connected = connected.setremove(sender());

---

// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit