Warning: session_start(): open(/var/lib/php/sessions/sess_8sog2h34qonqbce3bei6j3c14q, 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
sbool match3_withInts(S pat, S s, Matches m default null) { LS tokPat = javaTok(pat); S pat2 = join(replace(tokPat, "", "*")); Matches m2 = m == null ? new Matches : m; if (!match3(pat2, s, m2)) false; LS vars = filter(codeTokens(tokPat), t -> eqOneOf(t, "", "*")); for i over vars: { if (eq(vars.get(i), "") && !isInteger(m2.get(i))) false; } true; }