From f0d030601181d7380d40a1137da9f106b2b254fa Mon Sep 17 00:00:00 2001
From: Bruce Allen <bruce.allen@aei.mpg.de>
Date: Wed, 11 May 2005 08:44:27 +0000
Subject: [PATCH] Eliminate another PHP undefined index error

svn path=/trunk/boinc/; revision=6106
---
 checkin_notes     | 1 +
 html/inc/util.inc | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/checkin_notes b/checkin_notes
index f4d090de8e..ceec9a4670 100755
--- a/checkin_notes
+++ b/checkin_notes
@@ -6417,6 +6417,7 @@ Bruce 11 May 2005
 
     html/
         inc/
+            util.inc
             host.inc
         user/
             prefs.php
diff --git a/html/inc/util.inc b/html/inc/util.inc
index 38937f5c0b..e6ec1d1346 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -68,7 +68,7 @@ function get_user_from_id($id) {
 function get_logged_in_user($must_be_logged_in=true) {
     $authenticator = init_session();
     if (!$authenticator) {
-        $authenticator = $_COOKIE['auth'];
+        if (isset($_COOKIE['auth'])) $authenticator = $_COOKIE['auth'];
     }
     $authenticator = process_user_text($authenticator);
     $user = get_user_from_auth($authenticator);
@@ -352,8 +352,8 @@ function parse_bool($xml, $tag) {
 // Call this if for dynamic pages
 //
 function no_cache() {
-    header ("Expires: Mon, 26 Jul 1997 05:00:00 GMT");    // Date in the past
-    header ("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT"); // always modified
+    header ("Expires: Mon, 26 Jul 1997 05:00:00 UTC");    // Date in the past
+    header ("Last-Modified: " . gmdate("D, d M Y H:i:s") . " UTC"); // always modified
     header ("Cache-Control: no-cache, must-revalidate");  // HTTP/1.1
     header ("Pragma: no-cache");                          // HTTP/1.0
 }