Warning: session_start(): open(/var/lib/php/sessions/sess_onms8la56mqettrhife2vvjvrd, 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 ReliableSingleThread rstWithPreDelay(int delay, Runnable r) {
ret rstWithDelay(delay, r);
}
static ReliableSingleThread rstWithPreDelay(double seconds, Runnable r) {
ret rstWithDelay(seconds, r);
}
static RSTOverQ rstWithPreDelay(double seconds, Q q, Runnable r) {
ret RSTOverQ(q, new Runnable {
run {
sleepSeconds(seconds);
callF(r);
}
toString { ret "Sleep " + seconds + "s, then: " + r; }
});
}