Warning: session_start(): open(/var/lib/php/sessions/sess_8t021p5ovkrir547bv723gchpa, 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
// iterate safely (& quickly) in the face of concurrent modifications
static IterableIterator concurrentlyIterateValues(NavigableMap map) {
ret concurrentlyIterateValues(map, map);
}
static IterableIterator concurrentlyIterateValues(final NavigableMap map, O mutex) {
ret iteratorFromFunction(new F0() {
Iterator it = keys(map).iterator();
A key;
B get() {
synchronized(miutex) {
try {
if (!it.hasNext()) null;
ret map.get(key = it.next());
} catch (ConcurrentModificationException e) {
print("Re-iterating");
it = map.tailMap(key, false).keySet().iterator();
if (!it.hasNext()) null;
ret map.get(key = it.next()); // Can't throw another exception
}
}
}
});
}