<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_aas6ed9rbo8hna5s3j65qh7hk2, 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


p-exp {
  checkStandardFunctionForSafety('standardBotsToRun);
}
  
sS checkStandardFunctionForSafety(S fname) {
  S listName = "JavaX Identifier Safety";
  Set<S> identifiers = setMinus(tok_allIdentifiers(textOfStandardFunction(fname)), fname);
  
  // TODO: should lock on map
  Set<S> statuses = treeSet();
  final SS map = mechHashMap(listName);
  bool changes = false;
  for (S id : identifiers) {
    S status = map.get(id);
    if (status == null)
      changes ||= mapPut_trueIfChanged(id, status = "?");
    statuses.add(status);
  }
  S status = or2(joinWithComma(statuses), "?");
  changes ||= mapPut_trueIfChanged(map, fname, status);
  if (changes)
    uploadMechMap(map);
}