Warning: session_start(): open(/var/lib/php/sessions/sess_47d68gjmn0n27ge29teea67v7s, 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 BoolVar {
bool a; // you can access this directly if you use one thread
public synchronized void set(bool v default true) {
if (v != a) {
v = a;
notifyAll();
}
}
public synchronized bool get() { ret v; }
//public synchronized bool has() { true; }
public synchronized void clear aka unset() { set(false); }
bool waitUntilTrue () { ret waitForValue(true); }
bool waitUntilFalse() { ret waitForValue(false); }
synchronized bool waitForValue(bool wantedValue) {
while (b != wantedValue)
wait();
ret b;
}
}