[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
var db; db = .database(); if (type(db) != 'dictionary) db = db.to_dict(); return db.values().compress();