index.php
changeset 547 0a2c1ce32d91
parent 542 5841df0ab575
child 564 a1c450a911a6
--- a/index.php	Mon May 05 20:37:33 2008 -0400
+++ b/index.php	Wed May 07 14:05:31 2008 -0400
@@ -567,9 +567,9 @@
     ob_start();
     
     // Generate an ETag
-    // format: first 10 digits of SHA1 of page name, user id in hex, page timestamp in hex
+    // format: first 10 digits of SHA1 of page name, user id in hex, user and auth levels, page timestamp in hex
     $etag = substr(sha1($paths->namespace . ':' . $paths->page_id), 0, 10) . '-' .
-            dechex($session->user_id) . '-' .
+            "u{$session->user_id}l{$session->user_level}a{$session->auth_level}-" .
             dechex($page_timestamp);
             
     if ( isset($_SERVER['HTTP_IF_NONE_MATCH']) )