Warning: session_start(): open(/var/lib/php/sessions/sess_ua6mh5sjv980hnb5p8lhtcbv1t, 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 int md5OfFile_throughString_cached_interval = 10*60000; // forget after 10 minutes
static Map, S>> md5OfFile_throughString_cached_map = syncExpiringMap(md5OfFile_throughString_cached_interval); // pair(pair(lastModified, size), md5)
sS md5OfFile_throughString_cached(File f) {
if (f == null) null;
if (!f.exists()) ret md5OfFile_throughString(f);
Pair, S> p = md5OfFile_throughString_cached_map.get(f);
Pair modInfo = pair(lastModified(f), fileSize(f));
if (!eq(pairA(p), modInfo))
md5OfFile_throughString_cached_map.put(f, p = pair(modInfo, md5OfFile_throughString(f)));
ret p.b;
}