<commit_before><script language="javascript">

	//start the checking
	//var checker = setInterval("Inbox.checkStatus(checkStatus_cb)", 5000);
	var count = 0;
	var totalRuns = 0;
	var DEBUG = false;
		
	function checkStatus_cb(txt)	{
		if(DEBUG)
			setStatus("i am checking..."+totalRuns);
		
		totalRuns++;		
		var el = document.getElementById("inboxStatus");
		//see whats coming back
		
		if(txt == "false")	{
			if(el.innerHTML.indexOf("circle.gif") == -1 && count<1)
				el.innerHTML += "<img id='statusImg' src='images/circle.gif' border='0'/>";
		}
		else if(txt == 'true')	{
			//hide the circle
			if(document.getElementById('statusImg'))
				document.getElementById('statusImg').style.display = "none";
			
			setStatus("<b>New Query Finished!  Click 'View Results' tab for details.</b>");
			count++;
			
			if(document.getElementById("newQ"))
				document.getElementById("newQ").innerHTML = "("+count+")";
			else
				el.innerHTML += "<b id='newQ'>("+count+")</b>";
		}
		
		if(totalRuns > 5) 	{ //only run 5 times to avoid infinte loops
			clearInterval(checker);
			if(DEBUG)
				setStatus("[stopped checking]");
		}
	}
	
	function setStatus(txt)	{
		document.getElementById("statusMsg").innerHTML = txt;
		setTimeout("clearStatus()", 2000);
	}
	function clearStatus()	{
		document.getElementById("statusMsg").innerHTML = "<br/>";
	}
</script>
<script type='text/javascript' src='dwr/interface/Inbox.js'></script>
<script type='text/javascript' src='dwr/engine.js'></script>
<script type='text/javascript' src='dwr/util.js'></script>

<span id="statusMsg"></span>

<% 
	//default settings for tabs
	String simple = "";
	String adv = "";
	String viewResults = "";
	String analysis = "";
	String secondary = "";
	String list = "";
	String advSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"menu.do\">Advanced Search Home</a></li>\n" +
							//"<li><a href=\"menu.do\">Build Query</a></li>\n" +
							"<li><a href=\"refinecheck.do\">Refine Query</a></li>\n" +
							"</ul>\n";
	String resultsSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"viewResults.do\">View Findings</a></li>\n" +
							"<li><a href=\"#\">Managed Saved Lists</a></li>\n" +
							//"<li><a href=\"#\">Upload Lists</a></li>\n" +
							"</ul>\n";				
	String simpleSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"home.do\">Simple Search Home</a></li>\n" +
							"</ul>\n";
	String analysisSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"analysisHome.do\">Analysis Home</a></li>\n" +
							"</ul>\n";
							
	String s = (String) request.getParameter("s");
	if(s != null)	{
		int sect = Integer.parseInt(s);	
		switch(sect)	{
			case 1:
				//1 is simple search
				simple = "<span>Simple Search</span>\n" + simpleSecondary;
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 2:
				//2 is adv
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<span>Advanced Search</span>\n" + advSecondary;
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 3:
				//3 is view results
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<span id=\"inboxStatus\">View Results&nbsp;&nbsp;</span>\n";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 4:
				//4 is high order analysis
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<span>High Order Analysis</span>\n" + analysisSecondary;
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 5:
				//5 is list mgr
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<span>Manage Lists</span>\n";
				break;
			default:
				simple = "<span>Simple Search</span>\n" + simpleSecondary;
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
		}
	}
%>
<div id="header">
	<ul id="primary">
		<li><%= simple %></li>
		<li><%= adv %></li>
		<li><%= analysis %></li>
		<li><%= viewResults %></li>
		<li><%= list %></li>
	</ul>
</div><commit_msg>handle null tab section<commit_after><script language="javascript">

	//start the checking
	//var checker = setInterval("Inbox.checkStatus(checkStatus_cb)", 5000);
	var count = 0;
	var totalRuns = 0;
	var DEBUG = false;
		
	function checkStatus_cb(txt)	{
		if(DEBUG)
			setStatus("i am checking..."+totalRuns);
		
		totalRuns++;		
		var el = document.getElementById("inboxStatus");
		//see whats coming back
		
		if(txt == "false")	{
			if(el.innerHTML.indexOf("circle.gif") == -1 && count<1)
				el.innerHTML += "<img id='statusImg' src='images/circle.gif' border='0'/>";
		}
		else if(txt == 'true')	{
			//hide the circle
			if(document.getElementById('statusImg'))
				document.getElementById('statusImg').style.display = "none";
			
			setStatus("<b>New Query Finished!  Click 'View Results' tab for details.</b>");
			count++;
			
			if(document.getElementById("newQ"))
				document.getElementById("newQ").innerHTML = "("+count+")";
			else
				el.innerHTML += "<b id='newQ'>("+count+")</b>";
		}
		
		if(totalRuns > 5) 	{ //only run 5 times to avoid infinte loops
			clearInterval(checker);
			if(DEBUG)
				setStatus("[stopped checking]");
		}
	}
	
	function setStatus(txt)	{
		document.getElementById("statusMsg").innerHTML = txt;
		setTimeout("clearStatus()", 2000);
	}
	function clearStatus()	{
		document.getElementById("statusMsg").innerHTML = "<br/>";
	}
</script>
<script type='text/javascript' src='dwr/interface/Inbox.js'></script>
<script type='text/javascript' src='dwr/engine.js'></script>
<script type='text/javascript' src='dwr/util.js'></script>

<span id="statusMsg"></span>

<% 
	//default settings for tabs
	String simple = "";
	String adv = "";
	String viewResults = "";
	String analysis = "";
	String secondary = "";
	String list = "";
	String advSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"menu.do\">Advanced Search Home</a></li>\n" +
							//"<li><a href=\"menu.do\">Build Query</a></li>\n" +
							"<li><a href=\"refinecheck.do\">Refine Query</a></li>\n" +
							"</ul>\n";
	String resultsSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"viewResults.do\">View Findings</a></li>\n" +
							"<li><a href=\"#\">Managed Saved Lists</a></li>\n" +
							//"<li><a href=\"#\">Upload Lists</a></li>\n" +
							"</ul>\n";				
	String simpleSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"home.do\">Simple Search Home</a></li>\n" +
							"</ul>\n";
	String analysisSecondary = "<ul id=\"secondary\">\n" +
							"<li><a href=\"analysisHome.do\">Analysis Home</a></li>\n" +
							"</ul>\n";
							
	String s = request.getParameter("s")!=null ? (String) request.getParameter("s") : null;
	if(s != null)	{
		int sect = Integer.parseInt(s);	
		switch(sect)	{
			case 1:
				//1 is simple search
				simple = "<span>Simple Search</span>\n" + simpleSecondary;
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 2:
				//2 is adv
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<span>Advanced Search</span>\n" + advSecondary;
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 3:
				//3 is view results
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<span id=\"inboxStatus\">View Results&nbsp;&nbsp;</span>\n";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 4:
				//4 is high order analysis
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<span>High Order Analysis</span>\n" + analysisSecondary;
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
			case 5:
				//5 is list mgr
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<span>Manage Lists</span>\n";
				break;
			case 0:
			default:
				simple = "<a href=\"home.do\">Simple Search</a>";
				adv = "<a href=\"menu.do\">Advanced Search</a>";
				viewResults = "<a id=\"inboxStatus\" href=\"viewResults.do\">View Results&nbsp;&nbsp;</a>";
				analysis = "<a href=\"analysisHome.do\">High Order Analysis</a>";
				list = "<a href=\"manageLists.do\">Manage Lists</a>";
				break;
		}
	
%>
<div id="header">
	<ul id="primary">
		<li><%= simple %></li>
		<li><%= adv %></li>
		<li><%= analysis %></li>
		<li><%= viewResults %></li>
		<li><%= list %></li>
	</ul>
</div>
<%
}
%>
{'fraction_non_alphanumeric': 0.22731707317073171, 'fraction_numerical': 0.004975609756097561, 'mean_word_length': 3.3995708154506437, 'pattern_counts': {'":': 0, '<': 278, '<?xml version=': 0, '>': 278, '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': '3198209', 'n_tokens_mistral': 4091, 'n_tokens_neox': 3463, 'n_words': 736}