Warning: session_start(): open(/var/lib/php/sessions/sess_qoupmeehrbn94viilfu2kd9ufu, 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 ExpiringHashMap mechList_raw_cache = new ExpiringHashMap(10000);
static Lock mechList_raw_lock = lock();
// timeout for loading
static int mechList_raw_timeout = 60000;
static S mechList_raw(S name) {
lock mechList_raw_lock;
// get from cache
S src = mechList_raw_cache.get(name);
if (src != null) ret src;
// load & put in cache - TODO: make postPage honor this
temp tempSetThreadLocal(loadPage_forcedTimeout_byThread, mechList_raw_timeout);
src = mechList_raw_fresh(name);
if (src != null)
mechList_raw_cache.put(name, src);
ret src;
}