Warning: session_start(): open(/var/lib/php/sessions/sess_dg0r8j7p01jvj68amkh8c5f0ec, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
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 l = safeUnstructureList(f);
mapPut(thingsOnScreenDefinitions, first(l), second(l));
})));
thingsOnScreenDefinitons_tailFile.check();
ret thingsOnScreenDefinitions;
}