Warning: session_start(): open(/var/lib/php/sessions/sess_nng0fga3lmvkkrlteu4ub9rs9c, 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_alwaysReload;
static SS thingsOnScreenDefinitions;
static Lock thingsOnScreenDefinitions_lock = lock();
static double thingsOnScreenDefinitions_reloadEvery = 10;
static long thingsOnScreenDefinitions_lastReload;
static SS thingsOnScreenDefinitions() {
lock thingsOnScreenDefinitions_lock;
if (thingsOnScreenDefinitions_reloadEvery > 0
&& sysNow() >= thingsOnScreenDefinitions_lastReload+toMS(thingsOnScreenDefinitions_reloadEvery)) {
thingsOnScreenDefinitions = null;
}
if (thingsOnScreenDefinitions == null || thingsOnScreenDefinitions_alwaysReload) {
//print("Loading thingsOnScreenDefinitions");
thingsOnScreenDefinitions_lastReload = sysNow();
thingsOnScreenDefinitions = persistentHashMapFromProgram(thingsOnScreenDefinitionsDBID(), "Comments");
}
ret thingsOnScreenDefinitions;
}