Method code for $user_db.user_dbrefs()

[Turn off line numbering]

---

  1: var db;
  2: 
  3: db = .database();
  4: if (type(db) != 'dictionary)
  5:     db = db.to_dict();
  6: return db.values().compress();

---

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