Warning: session_start(): open(/var/lib/php/sessions/sess_uokdk2r5juingt4affr48oq8tm, 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 StrictHashMap extends HashMap {
bool detailedExceptions;
public B put(A key, B value) {
B v = get(key);
if (v != null && neq(v, value))
if (detailedExceptions)
fail("Strict map conflict: " + structure(key) + ", " + structure(get(key)) + ", " + structure(value));
else
fail("Trying to change strict map.");
ret super.put(key, value);
}
}