<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ajhpdgpf2qrl71li6sba2prhga, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

static Set<S> tooComplicatedSnippets = lithashset(#1006654);

static new JavaXHyperlinker hyperlinker;

p {
  serveHttp(7777);
}

html {
  try {
    ret html2(uri, params);
  } catch print e {
    ret stackTraceToString(e);
  }
}

sS html2(S uri, SS params) {
  uri = dropPrefix("/", uri);
  bool real = uri.startsWith("real/");
  if (real) uri = dropPrefix("real/", uri);
  S snippetID = #1007528;
  if (isSnippetID(uri)) snippetID = fsI(uri);
  
  if (contains(tooComplicatedSnippets, snippetID)) ret ""; //fail("too complicated");
  
  S code = loadSnippet(snippetID);
  
  S html = hyperlinker.codeToHTML(code, real);
  if (real) ret html;
  ret h3_title("Snippet " + snippetID) + hpre(html);
}