Warning: session_start(): open(/var/lib/php/sessions/sess_9svrvrd0odjdnupkuoqt4tfpnf, 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
// a scheduler isn't actually referenced, but might be // (e.g. for collection stats) sclass PMapCollector /*extends Probabilistic*/ { new Map map; new L> onNewEntry; new L> onChangedEntry; void put(A key, B value) { bool isNew = !map.containsKey(key); B oldValue = null; bool isChanged = !isNew && !eq(oldValue = map.get(key), value); if (isNew || isChanged) map.put(key, value); if (isNew) pcallFAll(onNewEntry, key, value); else pcallFAll(onChangedEntry, key, oldValue, value); } }