[Turn on line numbering]arg value, @args; var obj; if (value && value[1] == "$") { obj = (> $object_lib.to_dbref(value) <); if (!obj.is($user)) throw(~perm, obj.namef('ref) + " is not a user."); } else { obj = (> $user_db.search(value) <); } return obj;
["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]