<commit_before><?
  if (isset($_SESSION['domain_id'])) {
    $domheaderquery = "SELECT enabled FROM domains WHERE domains.domain_id='" . $_SESSION['domain_id'] . "'";
    $domheaderresult = $db->query($domheaderquery);
    $domheaderrow = $domheaderresult->fetchRow();
    $usrheaderquery = "SELECT enabled FROM users WHERE localpart='" . $_SESSION['localpart'] . "' AND domain_id='" . $_SESSION['domain_id'] . "'";
    $usrheaderresult = $db->query($usrheaderquery);
    $usrheaderrow = $usrheaderresult->fetchRow();
  }

  print "<div id=\"Header\"><p><a href=\"http://silverwraith.com/vexim/\" target=\"_blank\">Virtual Exim</a>";
  if (isset($_SESSION['domain'])) {
    print " -- " . $_SESSION['domain'];
  }
  if (($domheaderrow['enabled'] == "0") || ($domheaderrow['enabled'] == "f")) {
    print "-- domain disabled (please see your administrator)";
  } else if (($usrheaderrow['enabled'] == "0") ||($usrheaderrow['enabled'] == "f")) {
    print "-- account disabled (please see your administrator)";
  }
	// First a few status messages about account maintenance
	if (isset($_GET['added'])) {
	  print " -- '{$_GET['added']}' has been successfully added\n";
	} else if (isset($_GET['deleted'])) {
	  print " -- '{$_GET['deleted']}' has been successfully deleted\n";
	} else if (isset($_GET['lastadmin'])) {
	  print " -- '{$_GET['lastadmin']}' is the last admin account.";
	  print "    Create another admin account before deleting or demoting this one\n";
	} else if (isset($_GET['sitepass'])) {
	  print "<div id='status'>Site Admin password has been successfully updated</div>\n";
	} else if (isset($_GET['updated'])) {
	  print " -- '{$_GET['updated']}' has been successfully updated\n";
	} else if (isset($_GET['userexists'])) {
	  print " -- The account could not be added as the name {$_GET['userexists']} is already in use\n";
	} // Now some more general errors on account updates
	  else if (isset($_GET['badaliaspass'])) {
	  print " -- Account {$_GET['badaliaspass']} could not be added. Your passwords do not match, or contain illegal characters: ' \" ` or ;\n";
	} else if (isset($_GET['badname'])) {
	  print " -- '{$_GET['badname']}' contains invalid characters\n";
	} else if (isset($_GET['badpass'])) {
	  print " -- Account {$_GET['badpass']} could not be added.<br>\n";
	  print " -- Your passwords were blank, do not match, or contain illegal characters: ' \" ` or ;\n";
	} else if (isset($_GET['baddestdom'])) {
	  print " -- The destination domain you specified does not exist\n";
	} else if (isset($_GET['blankname'])) {
	  print " -- You can not specify a blank realname\n";
	} else if (isset($_GET['failadded'])) {
	  print " -- '{$_GET['failadded']}' could not be added\n";
	} else if (isset($_GET['failaddedpassmismatch'])) {
	  print "<div id='Status'>Domain '{$_GET['failaddedpassmismatch']}' could not be added.<br>\n";
	  print "The passwords were blank, or did not match.</div>\n";
	} else if (isset($_GET['failaddedusrerr'])) {
	  print "<div id='Status'>Domain '{$_GET['failaddedusrerr']}' could not be added.<br>\n";
	  print "There was a problem adding the admin account.</div>\n";
	} else if (isset($_GET['faildeleted'])) {
	  print " -- '{$_GET['faildeleted']}' was not deleted\n";
	} else if (isset($_GET['failupdated'])) {
	  print " -- '{$_GET['failupdated']}' could not be updated\n";
	} // Now some really general status messages<commit_msg>Updated header and warning removed<commit_after><?
  if (isset($_SESSION['domain_id'])) {
    $domheaderquery = "SELECT enabled FROM domains WHERE domains.domain_id='" . $_SESSION['domain_id'] . "'";
    $domheaderresult = $db->query($domheaderquery);
    $domheaderrow = $domheaderresult->fetchRow();
    $usrheaderquery = "SELECT enabled FROM users WHERE localpart='" . $_SESSION['localpart'] . "' AND domain_id='" . $_SESSION['domain_id'] . "'";
    $usrheaderresult = $db->query($usrheaderquery);
    $usrheaderrow = $usrheaderresult->fetchRow();
  }

  print "<div id=\"Header\"><p><a href=\"http://silverwraith.com/vexim/\" target=\"_blank\">Virtual Exim</a>";
  if (isset($_SESSION['domain'])) {
    print " -- " . $_SESSION['domain'];
  }
  if (($domheaderrow['enabled'] == "0") || ($domheaderrow['enabled'] == "f")) {
    print "-- domain disabled (please see your administrator)";
  } else if (($usrheaderrow['enabled'] == "0") ||($usrheaderrow['enabled'] == "f")) {
    print "-- account disabled (please see your administrator)";
  }
	// First a few status messages about account maintenance
	if (isset($_GET['added'])) {
	  print " -- '{$_GET['added']}' has been successfully added\n";
	} else if (isset($_GET['deleted'])) {
	  print " -- '{$_GET['deleted']}' has been successfully deleted\n";
	} else if (isset($_GET['lastadmin'])) {
	  print " -- '{$_GET['lastadmin']}' is the last admin account.";
	  print "    Create another admin account before deleting or demoting this one\n";
	} else if (isset($_GET['sitepass'])) {
	  print " -- Site Admin password has been successfully updated</div>\n";
	} else if (isset($_GET['updated'])) {
	  print " -- '{$_GET['updated']}' has been successfully updated\n";
	} else if (isset($_GET['userexists'])) {
	  print " -- The account could not be added as the name {$_GET['userexists']} is already in use\n";
	} // Now some more general errors on account updates
	  else if (isset($_GET['badaliaspass'])) {
	  print " -- Account {$_GET['badaliaspass']} could not be added. Your passwords do not match, or contain illegal characters: ' \" ` or ;\n";
	} else if (isset($_GET['badname'])) {
	  print " -- '{$_GET['badname']}' contains invalid characters\n";
	} else if (isset($_GET['badpass'])) {
	  print " -- Account {$_GET['badpass']} could not be added.<br>\n";
	  print " -- Your passwords were blank, do not match, or contain illegal characters: ' \" ` or ;\n";
	} else if (isset($_GET['baddestdom'])) {
	  print " -- The destination domain you specified does not exist\n";
	} else if (isset($_GET['blankname'])) {
	  print " -- You can not specify a blank realname\n";
	} else if (isset($_GET['failadded'])) {
	  print " -- '{$_GET['failadded']}' could not be added\n";
	} else if (isset($_GET['failaddedpassmismatch'])) {
	  print " -- Domain '{$_GET['failaddedpassmismatch']}' could not be added.<br>\n";
	  print "The passwords were blank, or did not match.</div>\n";
	} else if (isset($_GET['failaddedusrerr'])) {
	  print " -- Domain '{$_GET['failaddedusrerr']}' could not be added.<br>\n";
	  print "There was a problem adding the admin account.</div>\n";
	} else if (isset($_GET['faildeleted'])) {
	  print " -- '{$_GET['faildeleted']}' was not deleted\n";
	} else if (isset($_GET['failupdated'])) {
	  print " -- '{$_GET['failupdated']}' could not be updated\n";
	} // Now some really general status messages
{'fraction_non_alphanumeric': 0.19819686668637304, 'fraction_numerical': 0.0005911912503694946, 'mean_word_length': 4.221450617283951, 'pattern_counts': {'":': 0, '<': 28, '<?xml version=': 0, '>': 34, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6577830', 'n_tokens_mistral': 2087, 'n_tokens_neox': 2042, 'n_words': 612}