Warning: session_start(): open(/var/lib/php/sessions/sess_0sa7kt937oncpmddr3b3a8sbh2, 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 new MultiSet poorMansProfiling_results;
static Timer poorMansProfiling_timer;
static Lock poorMansProfiling_lock = lock();
static void poorMansProfiling(int interval) {
lock poorMansProfiling_lock;
stopPoorMansProfiling();
poorMansProfiling_timer = doEvery_daemon(interval, r {
Map map = runnableThreadsWithStackTraces();
for (Thread t : keys(map)) {
continue if isSystemThread(t);
new StringBuilder buf;
for (StackTraceElement e : map.get(t))
buf.append(e).append("\n");
poorMansProfiling_results.put(buf);
}
});
}
static void stopPoorMansProfiling() {
lock poorMansProfiling_lock;
if (poorMansProfiling_timer != null) {
stopTimer(poorMansProfiling_timer);
poorMansProfiling_timer = null;
}
}
static void poorMansProfiling_clear() {
poorMansProfiling_results.clear();
}
static MultiSet poorMansProfiling_results() {
ret new MultiSet(poorMansProfiling_results);
}