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; }
}