﻿// the object that stores the delayed reload call
/* number */var reloadTimeout = null;
// the amount of time in milliseconds to wait between reloads
/* number */var reloadInterval = 60000;

/**
 * Handler for the page's load event. Sets reload timeout.
 */
/* void */var listpage_load = function()
{
    if (reloadTimeout != null)
    {
        clearTimeout(reloadTimeout);
        reloadTimeout = null;
    }

    reloadTimeout = setTimeout(reloadTimeout_timeout, reloadInterval);
}

/**
 * Handler for the reload timeout's expiry. Refreshes the page.
 */
/* void */var reloadTimeout_timeout = function()
{

    if (reloadTimeout != null)
    {
        clearTimeout(reloadTimeout);
        reloadTimeout = null;
    }

    // alert("reloadTimeout");
    document.location.reload();
}

// attach to window load event
dojo.addOnLoad(listpage_load);