<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_71804bcfv7rkb4ioaj1tc0981l, 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 />
static Web ai_postTriple(T3<S> triple) {
  if (triple_anyPartNull(triple)) null;
  triple = trimTriple(triple);
  if (!ai_tripleAllowedToPost(triple)) fail("No");
  if (ai_cache_hasTriple(triple)) null;
  Web web = webFromTriple(triple);
  postSoftwareMadeWeb(web);
  ret web;
}

static Web ai_postTriple(S a, S b, S c) {
  ret ai_postTriple(t3(a, b, c));
}