Method code for $channel_db<$db>.remove()

[Turn on line numbering]

---

arg key;

// remove a key/value from the database
if (!(sender() == this()) && !.trusts(caller()))
    (> .perms(sender(), 'writer) <);
database = database.del(key);

---

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