*** empty log message ***

svn path=/trunk/boinc/; revision=4078

checkin_notes

@@ -16509,3 +16509,14 @@ David  20 Aug 2004
         boinc_db.C,h
     lib/
         util.C
+
+David  20 Aug 2004
+    - PHP fixes
+
+    html/
+        inc/
+            cache.inc
+            util.inc
+        ops/
+            show_log.php
+            white.css (new)

html/inc/cache.inc

@@ -9,7 +9,7 @@ function make_cache_dirs() {
   for ($i=0;$i<256;$i++) {
     $j=sprintf("%02x",$i);
     if (!@filemtime("../cache/$j")) {
-      mkdir("../cache/$j");
+      mkdir("../cache/$j", 0700);
     } 
   }
 }

html/inc/util.inc

@@ -29,7 +29,7 @@ function init_session() {
     }
     session_start();
 // NOTE: in PHP 4.1+, s/key_exists/array_key_exists/
-    if (key_exists('authenticator', $_SESSION)) {
+    if (array_key_exists('authenticator', $_SESSION)) {
         return $_SESSION["authenticator"];
     } else {
         return NULL;

html/ops/show_log.php

@@ -4,7 +4,7 @@
 
     require_once("../inc/util_ops.inc");
 
-    $log_dir = parse_config("<log_dir>");
+    $log_dir = parse_config(get_config(), "<log_dir>");
     if (!$log_dir) {
         exit("Error: couldn't get log_dir from config file.");
     }

html/ops/white.css

@@ -0,0 +1,108 @@
+a:link {
+	color: blue;
+}
+
+a:visited {
+	color: blue;
+}
+
+a:active {
+	color: blue;
+}
+
+body , table , input , select {
+	font-family: Verdana, Arial, Sans Serif;
+	font-size: small;
+}
+
+body {
+	background-color: white;
+    color: black;
+}
+
+table {
+    border: 0px;
+}
+
+table.bordered {
+      border: 1px solid black;
+}
+
+th {
+	background-color: #ffffcc;
+	font-weight: bold;
+}
+
+td {
+    border: 1px solid white;
+}
+
+td.bordered {
+        border: 1px solid grey;
+}
+
+td.indent {
+         border-left: 4px solid white;
+}
+
+td.heading {
+        background-color: rgb(217,217,217);
+	    font-weight: bold;
+}
+
+td.fieldname {
+        background-color: rgb(237,237,237);
+}
+
+td.category {
+        border: 1px solid black;
+}
+
+tr.row0 {
+        background-color: rgb(217,217,217);
+}
+
+tr.row1 {
+        background-color: rgb(237,237,237);
+}
+
+tr.subtitle {
+	background-color: white;
+	color: black;
+	font-weight: bold;
+}
+
+tr.message {
+    background-color:#E0E0EF;
+}
+
+input , select {
+	vertical-align: middle;
+}
+
+h1 , h2 {
+	color: black;
+	font-size: x-large;
+	font-weight: normal;
+	margin-top: 10px;
+}
+
+h3 , h4 {
+	color: black;
+	font-size: small;
+	font-weight: bold;
+}
+
+img {
+    border: 0px;
+}
+
+.title {
+	font-size: small;
+	font-weight: bold;
+}
+
+.description {
+	font-size: 80%;
+	font-weight: normal;
+}