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

[Turn off line numbering]

---

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

---

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