$set = true;
        if ((!empty($_SESSION["_sfprevreq"])) && ($_SERVER["REQUEST_METHOD"] == "GET"))
        {
	  if ($_SESSION["_sfprevreq"][0] == $_SERVER["REQUEST_URI"])
	  {
	    if ((time() - $_SESSION["_sfprevreq"][1]) < 15)
	    {
	      $set = false;
	      $_SESSION["_sfprevreq"][2]++;
	      if ($_SESSION["_sfprevreq"][2] == 5) require("busy.php");
	    }
	  }
        }
        $_SESSION["_sfprevreq"][1] = time();
        if ($set)
        {
          $_SESSION["_sfprevreq"][0] = $_SERVER["REQUEST_URI"];
          $_SESSION["_sfprevreq"][2] = 0;
        }
        if ($_GET["__busy"]) require("busy.php");