<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_1ndqi5h6oanvqcghlsjmc7i46l, 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 />
static Web web_intern(Web web) {
  if (web == null) null;
  for (WebNode n : web_nodesAndRelations(web))
    web_setLabels_forced(n, map_lisp_intern(n.labels()));
  web.source = intern(web.source);
  web.title = intern(web.title);
  trimToSize(web.nodes);
  for (WebNode n : web.nodes)
    trimToSize(n.labels);
  web.relations = null;
  web.index = null;
  //web.globalID = intern(web.globalID);
  if (web.globalID instanceof S)
    web.globalID = GlobalID((S) web.globalID);
  ret web;
}