Method code for $channel_db.core_channel_db()

[Turn off line numbering]
  1: var elem, key, value, d;
  2: 
  3: d = #[];
  4: for elem in (.database()) {
  5:     refresh();
  6:     [key, value] = elem;
  7:     if (!valid(value[5]))
  8:         continue;
  9:     if (filter elem in (value[6]) where (!valid(elem)))
 10:         continue;
 11:     d = d.add(key, value);
 12: }
 13: .set_database(d);

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

Tlon