<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_a8mr6dpls619r08u46cj76icv6, 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 />
// TODO: run dbBot()

sclass ConceptsLoadedOnDemand {
  Map<S, Concepts> loaded; // key = just the case ID. value can be null in case of error
  Lock lock = lock();
  
  Concepts get(S caseID) { ret conceptsForCase(caseID); }
  
  Concepts conceptsForCase(S caseID) {
    lock lock;
    assertNempty(+caseID);
    
    if (loaded.containsKey(caseID))
      ret assertNempty("Concepts load error", loaded.get(caseID));

    Concepts c = new Concepts(getDBProgramID() + "/" + caseID);
    loaded.put(caseID, c);
    ret c;
  }
}