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

[Turn on line numbering]

---

arg key, new_value;

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

---

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