Warning: session_start(): open(/var/lib/php/sessions/sess_t6e9ss00aqnunlhset89ki854i, 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 void tok_replaceWith(L tok) { int i; while ((i = jfind(tok, "replace with")) >= 0) { S token = tok.get(i+2); int repStart = i+6; int repEnd = repStart; // Find . with space or line break or EOF afterwards while (!(eqGet(tok, repEnd, ".") && (nempty(tok, repEnd+1) || repEnd == l(tok)-2))) repEnd += 2; //int repEnd = smartIndexOf(tok, repStart, "."); S replacement = joinSubList(tok, repStart, repEnd-1); clearTokens(tok, i, repEnd+1); print("Replacing " + token + " with " + replacement + "."); int end = findEndOfBlock(tok, repEnd)-1; for (int j = repEnd+2; j < end; j += 2) if (eq(tok.get(j), token)) tok.set(j, replacement); reTok(tok, i, end); } }