Warning: session_start(): open(/var/lib/php/sessions/sess_0p3c19qb9lhvo3b9jfuc0k30rc, 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
// f : Matcher -> S
static S regexReplace(S s, S pat, O f) {
Matcher m = Pattern.compile(pat).matcher(s);
ret regexReplace(m, f);
}
static S regexReplace(Matcher m, O f) {
new StringBuffer buf;
while (m.find())
m.appendReplacement(buf, m.quoteReplacement(str(callF(f, m))));
m.appendTail(buf);
ret str(buf);
}
sS regexReplace(S s, S pat, IF1 f) {
ret regexReplace(s, pat, (O) f);
}