function ping() {
    jQuery.get("/ping.do");
}

setInterval(ping, 5000);