[Turn on line numbering]arg old_name, new_name; // adjusts the database for the new name if (!.trusts(caller()) && sender() != this()) throw(~perm, "Permission denied."); old_name = .strip_key(old_name); new_name = .strip_key(new_name); (> pass(old_name, new_name) <);
// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit
---- 57 $registry.key_changed(old_name, new_name) ---- 65 $db.key_changed(old_key, new_key)