Warning: session_start(): open(/var/lib/php/sessions/sess_ofiivu767f7u9l1dudlnd7e79t, 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 FixedRateTimer extends java.util.Timer {
*() {}
*(bool daemon) { super(daemon); }
L entries = synchroList();
srecord noeq Entry(TimerTask task, long firstTime, long period) {}
// Note: not all methods overridden; only use these once
public void scheduleAtFixedRate(TimerTask task, long delay, long period) {
entries.add(new Entry(task, now()+delay, period));
super.scheduleAtFixedRate(task, delay, period);
}
}