Automatic Page Refresher

refresh.js

var refresh_element = $('#refresh')[0];

if (refresh_element) {
  $(refresh_element).data('refresh', 1);

  setInterval(function() {
    if ($(refresh_element).data('refresh'))
      $(refresh_element).load(window.location.href + ' #refresh');
  }, 5000);

  var pauseRefreshments = function() {
    if ($(refresh_element).data('refresh')) {
      $('#pause').html('Resume');
      $(refresh_element).data('refresh', 0);
    }
    else {
      $(refresh_element).data('refresh', 1);
      $('#pause').html('Pause');
    }
  };

  $('#pause').live('click', function(ev) {
    ev.preventDefault();
    pauseRefreshments();
  });

  $('body').keyup(function(e) {
    var p_key = 80;
    if (e.which === p_key) {
      pauseRefreshments();
    }
  });
}