Warning: session_start(): open(/var/lib/php/sessions/sess_2pca0ntilsd6co9rm8bsuhbmrh, 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
// jreplace_multi goes over ins/outs once (doesn't loop)
sbool jreplace_multi(LS tok, LS ins, S out) {
bool change = false;
for (S in : ins)
if (jreplace(tok, in, out))
change = true;
ret change;
}
sS jreplace_multi(S s, S... replacements) {
if (empty(replacements)) ret s;
LS tok = javaTok(s);
bool change;
for (int i = 0; i < l(replacements); i += 2)
if (jreplace(tok, replacements[i], replacements[i+1]))
set change;
ret change ? join(tok) : s;
}
static LS jreplace_multi(LS tok, S... replacements) {
for (int i = 0; i < l(replacements); i += 2)
jreplace(tok, replacements[i], replacements[i+1]);
ret tok;
}