Method code for $db.clean_database()

[Turn off line numbering]

---

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

---

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