Warning: session_start(): open(/var/lib/php/sessions/sess_58dn4accgm95cjgj0ph5u9kqad, 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 must be trimmed sS replaceLine_keepingPadding(S text, S a, S b) { LS lines = lines(text); bool change = false; for i over lines: { S s = lines.get(i); S trimmed = trim(s); if (eqic(trimmed, a)) { int idx = indexOf(s, trimmed); lines.set(i, replaceSubstring(s, idx, idx+l(trimmed), b)); set change; } } ret change ? lines_possiblyRTrim(text, lines) : text; }