<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_l6guhm2h0op2rfkg2efeait338, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid mechList_completeLocalCopies() {
  mechList_completeLocalCopies(mechListMD5s());
}

svoid mechList_completeLocalCopies(SS mechListMD5s) {
  for (S name, S md5 : mechListMD5s) {
    if (mechList_localCopyHasMD5(name, md5)) {
      //print("Up to date:  " + name);
    } else {
      print("Downloading mech list: " + name);
      serverMechList_raw_fresh(name);
    }
  }
}