<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_dg0r8j7p01jvj68amkh8c5f0ec, 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 />
sbool thingsOnScreenDefinitions_tail;
static ManualTailFile thingsOnScreenDefinitons_tailFile;
static SS thingsOnScreenDefinitions = synchroMap();
static Lock thingsOnScreenDefinitions_lock = lock();
static double thingsOnScreenDefinitions_checkEvery = 1;
static long thingsOnScreenDefinitions_lastCheck;

static SS thingsOnScreenDefinitions() {
  lock thingsOnScreenDefinitions_lock;
  if (thingsOnScreenDefinitons_tailFile == null)
    thingsOnScreenDefinitons_tailFile = new ManualTailFile(screenClipCommentsFile(), vfAppendToLineBuffer(unquotingLineBuffer(voidfunc(S s) {
  L<S> l = safeUnstructureList(f);
  mapPut(thingsOnScreenDefinitions, first(l), second(l));
  })));

  thingsOnScreenDefinitons_tailFile.check();
  ret thingsOnScreenDefinitions;
}