From 216a3e89f1ba12a8412a0d8fd2472030ee72c3f0 Mon Sep 17 00:00:00 2001
From: "mike.morgan%oregonstate.edu" <mike.morgan%oregonstate.edu>
Date: Mon, 7 Aug 2006 04:01:11 +0000
Subject: [PATCH] Fix for bug 335794.  Added cache-control header (no-cache) to
 ensure the page doesn't get cached up by the load balancer.

---
 webtools/addons/public/htdocs/install.php | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/webtools/addons/public/htdocs/install.php b/webtools/addons/public/htdocs/install.php
index a624da3f4b55..4eece7deb2b0 100755
--- a/webtools/addons/public/htdocs/install.php
+++ b/webtools/addons/public/htdocs/install.php
@@ -4,6 +4,12 @@
  * @package amo
  * @subpackage docs
  */
+
+// If we don't have our required URI, terminate the request immediately.
+if (empty($_GET['uri'])) {
+    exit;
+}
+
 require_once('includes.php');
 
 $uri = mysql_real_escape_string(str_replace(" ","+",$_GET["uri"]));
@@ -21,7 +27,6 @@ $db->query("
 ", SQL_INIT, SQL_ASSOC);
 
 if (empty($db->record)) {
-    echo 'nope';
     exit;
 } else {
     $row=$db->record;
@@ -66,6 +71,8 @@ if (empty($db->record)) {
     ",SQL_NONE);
 }
 
+// Set a no-cache header to make sure this page is never cached.
+header('Cache-control: no-cache');
 header('Location: '.$uri);
 exit;
 ?>