All pastes #480359 Raw Edit

Miscellany

public text v1 · immutable
·published 2007-05-10 07:38 UTC
rendered paste body
<script type="text/javascript">
<!--
  var refresh_enabled;
  refresh_enabled = true;
  
  function EnableRefresh()
  {
    refresh_enabled = true;
  }
  function DisableRefresh()
  {
    refresh_enabled = false;
  }
  
  function BlockingTimer()
  {
    DisableRefresh();
    window.setTimeout("EnableRefresh()", 10000);
  }

-->
</script>