/* shuts down server after [num] seconds */
function shutdown(num, formname, elemid) {
	var elem;
	var canCount = document.getElementById;
	if (canCount) {
	    elem = document.getElementById(elemid);
	    canCount = (typeof(elem) != "undefined" && typeof(elem.innerHTML) != "undefined");
	}
	var secs=" second";
	var ellipsis="...";
	if (num > 0) {
		if (num != 1) {
			secs+="s";
		}
		if (canCount) {
		    elem.innerHTML=num+secs+ellipsis;
		}
		setTimeout('shutdown('+(--num)+', "'+formname+'", "'+elemid+'")',1000);
	} else {
	    document[formname].submit();
	}
}

/* aborts server shutdown and redirects to [target] */
function abort(target) {
    top.location.href=target;
}

/* checks if values of [pass1] and [pass2] match */
function checkPasswd(form, pass1, pass2) {
    var check = (form[pass1].value == form[pass2].value);
    if (!check) {
        alert("Passwords did not match. Please type again.");
        form[pass1].value="";
        form[pass2].value="";
        form[pass1].focus();
    }
    return check;
}

/* displays a date in the user's local timezone */
function localDate(time) {
    var date = time ? new Date(time) : new Date();
    document.write(date.toLocaleString());
}