<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_5enf5jnsg1s973nh0v7j286cfi, 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 new ThreadLocal<Bool> ai_invalidateWeb_postAntiTriple; // off by default
sbool ai_invalidateWeb_removeFromMemory = true; 

static S ai_invalidateWeb(GlobalID webID) {
  ret ai_invalidateWeb(ai_getWeb(webID));
}

static S ai_invalidateWeb(S webID) {
  ret ai_invalidateWeb(ai_getWebFromTerm(webID));
}

static S ai_invalidateWeb(Web web) {
  if (web == null) null;
  S id = post("Web " + web.globalID, "is", "invalid");
  
  if (isTrue(ai_invalidateWeb_postAntiTriple!)) {
    T3<S> t = webToTriple(web);
    if (t != null)
      post(ai_tripleToInvalid(t));
  }
  
  if (ai_invalidateWeb_removeFromMemory)
    ai_removeWeb(web);
  
  ret id;
}

static void ai_invalidateWeb(WebNode node) {
  ai_invalidateWeb(webNodeToWeb(node));
}