/**
 * Current Server Time script, originall by JavaScriptKit.com
 * (http://www.javascriptkit.com). For this and over 400+ free scripts,
 * visit JavaScript Kit- http://www.javascriptkit.com/
 *
 * This notice must stay intact for use.
 *
 * Modified by Chengyu Sun (csun@calstatela.edu) to use JSP instead of
 * SSI and PHP to get the current server time.
 *
 * NOTE: in the JSP page we need the following:
 *
 *   var serverdate = new Date('<%= new java.util.Date()%>');
 *   window.onload = function(){ setInterval("displaytime()", 1000); }
 */
var montharray = new Array( "January", "February", "March", "April",
    "May", "June", "July", "August", "September", "October", "November",
    "December");

function padlength( what )
{
    var output = what.toString().length==1 ? "0"+what : what;
    return output;
}

function displaytime()
{
    serverdate.setSeconds( serverdate.getSeconds()+1 );

    var datestring = montharray[serverdate.getMonth()] + " " +
                     padlength(serverdate.getDate()) + ", " +
                     serverdate.getFullYear();

    var timestring = padlength(serverdate.getHours()) + ":" +
                     padlength(serverdate.getMinutes()) + ":" +
                     padlength(serverdate.getSeconds());

    document.getElementById("clock").innerHTML= datestring + " " + timestring;
}