Method code for $user_db.user_dbrefs()

[Turn on line numbering]

---

var db;

db = .database();
if (type(db) != 'dictionary)
    db = db.to_dict();
return db.values().compress();

---

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