jQuery.Pinger = function (url, interval) {
    var ping;
    function Success() {
        //debug:
        /*
        if (!ping) {
            ping = jQuery("<div style=\"position: absolute; top: 35px; left: 5px; color:red; font-size: 20px; font-weight:bold; font-name: arial; z-index:10001; display: none;\">Ping!</div>");
            jQuery(document.body).append(ping);
        }
        ping.slideDown(200).delay(3000).slideUp(200);
        */
        window.setTimeout(CallPinger, interval);
    }
    function CallPinger() {
        jQuery.ajax({
            async: true,
            cache: false,
            success: Success,
            url: url
        });
    }
    window.setTimeout(CallPinger, interval);
};


