Warning: session_start(): open(/var/lib/php/sessions/sess_9s7fm3k2qv7g3srlirtj5ik7p0, 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
// should be thread-safe by nature // compare efficiently due to md5 caching // tested with A = S static class ImmL extends AbstractList { new L l; int hash; S md5; *() {} *(L _l) { l.addAll(_l); } // List methods public int size() { ret l.size(); } public A get(int i) { ret l.get(i); } public synchronized int hashCode() { if (hash == 0) hash = l.hashCode(); ret hash; } public bool equals(O o) { if (o instanceof ImmL && neq(md5(), ((ImmL) o).md5())) false; ret super.equals(o); } public synchronized S md5() { if (md5 == null) md5 = main.md5(structure(l)); ret md5; } }