Warning: session_start(): open(/var/lib/php/sessions/sess_7rpl38ev217f2dbv3adl63bh14, 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 FunctionTimings {
Map data = syncMap();
void time(A function, Runnable r) {
if (r == null) ret;
Average avg = syncMapGetOrCreate(data, function, -> new Average);
long time = nanoTime();
try {
r.run();
} finally {
time = nanoTime()-time;
avg.add(time);
}
}
Map get() { ret cloneMap(data); }
void reset aka clear() { data.clear(); }
}