[freeside.git] / topreload.js

window.topreload = function() {
  if (window != window.top) {
    window.top.location.reload();
  }
}