Warning: session_start(): open(/var/lib/php/sessions/sess_ofsmb6jokvnigq1nkt9tcvo0de, 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
sS dynamize_noEncode(S html) { L tok = htmlTok(html)); Pattern p = Pattern.compile("#([0-9]+)"); for (int i = 0; i < l(tok); i += 2) { Matcher m = p.matcher(tok.get(i).replace("&#", "&~~~")); new StringBuffer buf; while (m.find()) { S id = m.group(1); mreplace(m, buf, ahref(snippetLink(id), "#" + id)); } m.appendTail(buf); tok.set(i, dynamizeGlobalIDsInHTML(str(buf).replace("&~~~", "&#"))); } ret join(tok); }