Warning: session_start(): open(/var/lib/php/sessions/sess_9t7d60vvvtvl9ht965sp19vq5u, 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
static class ReliableSingleThread {
O runnable;
bool running, trigger;
*(O *runnable) {}
void trigger() { go(); }
synchronized void go() {
trigger = true;
if (!running) {
running = true;
thread "Single Thread" { _run(); }
}
}
synchronized bool running() { ret running; }
// use only if this is the last time you trigger this
void triggerAndWait() {
trigger();
while (running()) sleep(1);
}
void _run() {
while licensed {
synchronized(this) {
if (!trigger) {
running = false;
break;
}
trigger = false;
}
pcallF(runnable);
}
}
}