Method code for $db.remove()

[Turn off line numbering]
  1: arg key;
  2: 
  3: // remove a key/value from the database
  4: if (!(sender() == this()) && !.trusts(caller()))
  5:     (> .perms(sender(), 'writer) <);
  6: database = database.del(key);

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

Tlon