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