// stuff to do with the server status button.
// see also serverStatus.js, which is generated by a cron job. 
//	 It holds the global variable `serverStatus'


// define the global variable `statusButton', which is part of the name of the
// also makes sure that the visible button is correct.
//   corresponding status button image.
// 	`status' is a string, which is either "red" or "green".
//	this function is called by onload()
var statusButton="";
var statusButton1="";	// this is a hack until we figure out a better way to do it.
			// see makeMyImg in aggregator.js
function setStatusButton( status ) {
	statusButton="images/Status_button_"+status+"-";	
	if ( status=="yellow" ) {
		statusButton1="images/pulsing.yellow.gif";
	} else if ( status=="red" ) {
		statusButton1="images/pulsing.red.gif";
	} else {
		statusButton1="images/Status_button_green-1.png";
	}
	// set the status button image..
	makeMyImg( "getstatus", statusButton, 1);
}

function getStatus() {
	window.open( "serverStatus.html" )
}