Warning: session_start(): open(/var/lib/php/sessions/sess_age1i091f2d3f72anon83mps6n, 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 countDispatch_Data {
int running;
long invocations, totalTime;
}
static Map countDispatch_map = synchroMap();
static Closeable countDispatch(fS methodName) {
synchronized(countDispatch_map) {
countDispatch_Data data = countDispatch_map.get(methodName);
if (data == null) countDispatch_map.put(methodName, data = new countDispatch_Data);
}
data.running++;
final countDispatch_Data _data = data;
final long time = sysNow();
ret new Closeable { public void close {
_data.totalTime += sysNow()-time;
data.running--;
data.invocations++;
}};
}