Method code for $db.key_changed()

[Turn off line numbering]

---

  1: arg old_key, new_key;
  2: var val;
  3: 
  4: // change the value of a key.
  5: if (!(sender() == this()) && !.trusts(caller()))
  6:     (> .perms(sender(), 'writer) <);
  7: val = (> .exact_match(old_key) <);
  8: .remove(old_key);
  9: .insert(new_key, val);

---

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