Warning: session_start(): open(/var/lib/php/sessions/sess_hkd365uhqhjfu92cm6htpmt4j5, 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
// drop only /* */ comments sS tok_javaDropSlashStarCommentsFromWhitespace(S s) { int l = l(s), j = 0; new StringBuilder buf; while (j < l) { int i = j; char c = s.charAt(j); char d = j+1 >= l ? '\0' : s.charAt(j+1); if (c == '/' && d == '*') { do ++j; while (j < l && !s.substring(j, Math.min(j+2, l)).equals("*/")); j = Math.min(j+2, l); } else if (c == '/' && d == '/') { do ++j; while (j < l && "\r\n".indexOf(s.charAt(j)) < 0); buf.append(substring(s, i, j)); // keep comment } else { buf.append(c); ++j; } } ret str(buf); }