Warning: session_start(): open(/var/lib/php/sessions/sess_vqq1tn5itsitdfsucgir5oi4bj, 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 Schedule {
Timestamp start;
TreeMultiMap entries;
new TreeMap jumps;
void add(double seconds, A a) {
entries.put(Seconds(seconds), a);
}
void jumpFromTo(double from, double to) {
jumps.put(Seconds(from), Seconds(to));
}
void speedUp(double factor) {
entries = (TreeMultiMap) mapMultiMapKeys(entries,
seconds -> seconds.div(factor));
}
run {
start = tsNow();
fire(first(entries));
}
void fire(Pair p) {
if (p == null) ret;
entries.removePair(p);
sleepUntil(start.plus(p.a));
pcallF(p.b);
fire(first(entries));
}
}