Warning: session_start(): open(/var/lib/php/sessions/sess_s5qjd0bi128jutsgtsu74455da, 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
// rtrims each item static LS tok_splitAtEmptyLines(S s) { new L indices; LS tok = javaTokWithAllBrackets(s); new LS out; int start = 0; S spacing = ""; for (int i = 2; i+1 < l(tok); i += 2) { int idx = indexOf_regexp(tok.get(i), "\r?\n\s*\r?\n"); if (idx < 0) continue; int idx2 = idx+1; if (tok.get(i).charAt(idx) == '\r') ++idx2; out.add(spacing + joinSubList(tok, start, i)); start = i+1; spacing = substring(tok.get(i), idx2); // TODO: not exact } ret out; }