Method code for $db.clean_database()

[Turn on line numbering]

---

var elem;

// clean up a  "STR"=>$obj  style database
for elem in (database) {
    if (!valid(elem[2]))
        database = database.del(elem[1]);
}

---

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