Warning: session_start(): open(/var/lib/php/sessions/sess_03jp7bp70e32ebcolcmdnbv9r6, 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
// leaves lines enclosed in brackets alone sS autoUnindent_honoringBrackets(S s) { LS l = lines_honoringBrackets(s); if (empty(l)) ret s; // find indent int n = Integer.MAX_VALUE; for (S line : l) n = min(n, getIndentOfLine(line)); if (n == 0) ret s; // unindent ret fromLines(map(l, line -> substring(line, n)); }