From fd201edeca7420b3eb994660e4d0376299014e62 Mon Sep 17 00:00:00 2001
From: "Eric J. Korpela" <korpela@ssl.berkeley.edu>
Date: Fri, 23 Jul 2004 01:07:18 +0000
Subject: [PATCH] *** empty log message ***

svn path=/trunk/boinc/; revision=3944
---
 html/inc/cache.inc       | 87 +++++++++++++++++++++-------------------
 html/user/hosts_user.php |  7 ++++
 2 files changed, 52 insertions(+), 42 deletions(-)

diff --git a/html/inc/cache.inc b/html/inc/cache.inc
index 01b470b0c0..53849b403d 100644
--- a/html/inc/cache.inc
+++ b/html/inc/cache.inc
@@ -28,57 +28,60 @@ function get_path($params) {
 }
 
 function start_cache($max_age, $params=""){
-    $path = get_path($params);
-    $request = getallheaders();
-    // Check to see if this is a conditional fetch.
-    $lastmodified = @filemtime($path);
+    if ($max_age) {
+      $path = get_path($params);
+      $request = getallheaders();
+      // Check to see if this is a conditional fetch.
+      $lastmodified = @filemtime($path);
 
-    $if_modified_since = isset($request['If-Modified-Since']) ?
+      $if_modified_since = isset($request['If-Modified-Since']) ?
         (explode(';',$request['If-Modified-Since'])) :
         false;
 
-    if ($if_modified_since) {
-      $if_modified_since=strtotime($if_modified_since[0]);
-    }
+      if ($if_modified_since) {
+        $if_modified_since=strtotime($if_modified_since[0]);
+      }
 
-    if ($if_modified_since && ($if_modified_since == $lastmodified)) {
-      Header("Last-Modified: " . gmdate("D, d M Y H:i:s",$lastmodified) . " GMT");
-      Header('HTTP/1.0 304 Not Modified');
-      exit;
-    }
+      if ($if_modified_since && ($if_modified_since == $lastmodified)) {
+        Header("Last-Modified: " . gmdate("D, d M Y H:i:s",$lastmodified) . " GMT");
+        Header('HTTP/1.0 304 Not Modified');
+        exit;
+      }
 
-    if ($lastmodified<time()-$max_age){
-       // If cached version is too old (or non-existent)
-       // generate the page and write to cache
-       //
-       ob_start();
-       ob_implicit_flush(0);
-       Header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
-       Header("Expires: " . gmdate("D, d M Y H:i:s",time()+$max_age) . " GMT");
-       Header("Cache-Control: public, max-age=" . $max_age); 
-   } else {
-       // Otherwise serve the cached version and exit
-       //
-       if (strstr($params, "format=xml")) {
-           header('Content-type: text/xml');
-       }
-       Header("Last-Modified: " . gmdate("D, d M Y H:i:s",$lastmodified) . " GMT");
-       Header("Expires: " . gmdate("D, d M Y H:i:s",$lastmodified+$max_age) . " GMT");
-       Header("Cache-Control: public, max-age=" . $max_age );
-       readfile($path);
-       exit;
-   }
+      if ($lastmodified<time()-$max_age){
+         // If cached version is too old (or non-existent)
+         // generate the page and write to cache
+         //
+         ob_start();
+         ob_implicit_flush(0);
+         Header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
+         Header("Expires: " . gmdate("D, d M Y H:i:s",time()+$max_age) . " GMT");
+         Header("Cache-Control: public, max-age=" . $max_age); 
+       } else {
+         // Otherwise serve the cached version and exit
+         //
+         if (strstr($params, "format=xml")) {
+             header('Content-type: text/xml');
+         }
+         Header("Last-Modified: " . gmdate("D, d M Y H:i:s",$lastmodified) . " GMT");
+         Header("Expires: " . gmdate("D, d M Y H:i:s",$lastmodified+$max_age) . " GMT");
+         Header("Cache-Control: public, max-age=" . $max_age );
+         readfile($path);
+         exit;
+     }
+  }
 }
 
 // write output buffer both to client and to cache
 //
-function end_cache($params=""){
-   $path = get_path($params);
-   $fhandle=fopen($path, "w");
-   $page=ob_get_contents();
-   ob_end_flush();
-   fwrite($fhandle, $page);
-   fclose($fhandle);
+function end_cache($max_age,$params=""){
+   if ($max_age) {
+     $path = get_path($params);
+     $fhandle=fopen($path, "w");
+     $page=ob_get_contents();
+     ob_end_flush();
+     fwrite($fhandle, $page);
+     fclose($fhandle);
+  }
 }
-
 ?>
diff --git a/html/user/hosts_user.php b/html/user/hosts_user.php
index cee6121ad8..db51d3a99a 100644
--- a/html/user/hosts_user.php
+++ b/html/user/hosts_user.php
@@ -5,10 +5,14 @@
     require_once("../inc/db.inc");
     require_once("../inc/util.inc");
     require_once("../inc/host.inc");
+    require_once("../inc/cache.inc");
 
     db_init();
     $userid = $_GET["userid"];
     if ($userid) {
+        $cache_args = "userid=$userid";
+	$caching=true;
+        start_cache(USER_PAGE_TTL,$cache_args);
         $result = mysql_query("select * from user where id=$userid");
         $user = mysql_fetch_object($result);
         mysql_free_result($result);
@@ -17,10 +21,12 @@
             user_host_table_start(false);
         } else {
             echo "Hidden\n";
+	    end_cache($cache_args);
             exit();
         }
         $private = false;
     } else {
+        $caching=false;
         $user = get_logged_in_user();
         $userid = $user->id;
         page_head("Your computers");
@@ -36,4 +42,5 @@
     mysql_free_result($result);
     echo "</table>\n";
     page_tail();
+    if ($caching) end_cache($cache_args);
 ?>