Warning: session_start(): open(/var/lib/php/sessions/sess_j4ni7a23o6vkrag928hirv5669, 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 L parseHexRanges(S s) {
ret map(splitAtComma_trim(s), item -> {
LS parts = splitAtMinus(item);
int start = hexToInt(first(parts));
if (l(parts) == 1)
ret intRange_incl(start, start);
else if (l(parts) == 2) {
int end = hexToInt(second(parts));
ret intRange_incl(start, end);
} else
fail("Too many minuses");
});
}