<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_3u5656q7diefp29je79m59keel, 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 />
// slightly experimental - also uses allChanged() which might not be
// so good with future logging
svoid swapConceptIDs(Concept a, Concept b) {
  Concepts concepts = a._concepts;
  if (concepts != b._concepts) fail("Concepts belong to different set");
  long id1 = a.id, id2 = b.id;
  if (concepts == null) { a.id = id2; b.id = id1; ret; }
  lock concepts.lock;
  a.id = id2;
  b.id = id1;
  concepts.concepts.put(id2, a);
  concepts.concepts.put(id1, b);
  a.change();
  b.change();
}