Method code for $user_db.core_user_db()

[Turn off line numbering]

---

  1: var o;
  2: 
  3: .set_database($trie.new());
  4: for o in ($user.descendants() + [$user])
  5:     .insert(o.name(), o);

---

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