Warning: session_start(): open(/var/lib/php/sessions/sess_tgjupf0rq10k16jo50438m34ch, 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
sclass WaitForStableValue implements IVar { long period; A value; long valueSince; *() {} *(long *period) {} *(double seconds) { period = toMS(seconds); } public synchronized void put(A a) { if (neq(a, value)) { value = a; valueSince = sysNow(); } } public synchronized A get() { ret valueSince != 0 && sysNow() >= valueSince+period ? value : null; } public bool has() { ret get() != null; } }