Method code for $channel_db.clean_db()

[Turn off line numbering]
  1: var x, d;
  2: 
  3: d = #[];
  4: for x in (.database()) {
  5:     pause();
  6:     if (x[2][2])
  7:         d = d.add(@x);
  8: }
  9: .set_database(d);

// Created 13-Oct-1996 as a part of ColdCore, see: @help Credit

Tlon