Warning: session_start(): open(/var/lib/php/sessions/sess_mc3cl5trgm2shu882qucijrbma, 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
sclass _PrintFlexIndent extends F1 { F1 makeIndent; bool beginningOfLine = true; *() {} *(F1 *makeIndent) {} Bool get(S s) { if (empty(s)) false; if (beginningOfLine) print_raw(unnull(callF(makeIndent, s))); bool nl = s.endsWith("\n"); if (nl) s = dropLast(s); s = s.replace("\n", "\n" + prefix); print_raw(s); if (nl) print_raw("\n"); beginningOfLine = nl; false; } }