Method code for $db.key_changed()

[Turn on line numbering]

---

arg old_key, new_key;
var val;

// change the value of a key.
if (!(sender() == this()) && !.trusts(caller()))
    (> .perms(sender(), 'writer) <);
val = (> .exact_match(old_key) <);
.remove(old_key);
.insert(new_key, val);

---

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