Method code for $user_db.core_user_db()

[Turn on line numbering]

---

var o;

.set_database($trie.new());
for o in ($user.descendants() + [$user])
    .insert(o.name(), o);

---

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