Ticket #202: ticket-202 v1.diff

html/ops/index.php

@@ -44 +44 @@
     candidates for User of the Day.</span></li>\n";
 }
 
+$local_rev_file = '../../local.revision';
+$remote_rev_file = '../cache/repository.revision';
+$remote_URL = 'http://boinc.berkeley.edu/svn/trunk';
+$update_interval = 60*60*24*7; // check $remote_URL every 7 days
+
+if (file_exists($local_rev_file)) {
+    $local_rev = file_get_contents($local_rev_file);
+    $remote_rev = 0;
+
+    if (!file_exists($remote_rev_file) || (filemtime($remote_rev_file)+$update_interval < time())) {
+        // get the html output of $remote_url
+        if ($f = fopen($remote_URL, "r")) {
+            while (!feof($f)) {
+                $html_buffer = fgets($f, 512);
+                // Search for the line: Revision 12530 ....
+                $pos = strpos($html_buffer, "Revision ");
+                if ($pos != false) {
+                    $remote_rev = substr($html_buffer, $pos + 9, 5);
+                    break;
+                }
+            }
+            fclose($f);
+        }
+        file_put_contents($remote_rev_file, $remote_rev);
+    }
+
+    $remote_text = '';
+    if (file_exists($remote_rev_file)) {
+        $remote_rev = file_get_contents($remote_rev_file);
+        $remote_text = " Newest repository revision: ".$remote_rev;
+    }
+    echo "<li>Currently used svn revison: ".$local_rev.$remote_text."</li>\n";
+}
+
 echo "</ul>\n";
 
 echo "
     <p>
     <table border='0'><tr valign='top'>
     <td><b>Browse database:</b>
-    <ul> 
+    <ul>
         <li><a href=\"db_action.php?table=platform\">Platforms</a></li>
         <li><a href=\"db_action.php?table=app\">Applications</a></li>
         <li><a href=\"db_form.php?table=app_version\">Application versions</a></li>
@@ -61 +95 @@
         <li><a href=\"db_form.php?table=result&detail=low\">Results</a></li>
     </ul>
 
-    </td> 
+    </td>
     <td><b>Regular Operations:</b>
     <ul>
         <li><a href=\"profile_screen_form.php\">Screen user profiles </a></li>
@@ -69 +103 @@
         <li><a href='manage_special_users.php'>Manage special users</a></li>
     </ul>
 
-    </td> 
+    </td>
     <td><b>Special Operations:</b>
     <ul>
         <li><a href='manage_apps.php'>Manage applications</a></li>
@@ -85 +119 @@
     </li>
         <li>
             <form method=\"get\" action=\"clear_host.php\">
-            Clear Host: 
+            Clear Host:
             <input type=\"text\" size=\"5\" name=\"hostid\">
             <input type=\"submit\" value=\"Clear RPC\">
             </form>
@@ -102 +136 @@
 $show_only = array('all'); // Add all appid's you want to display, or 'all'
 $result = mysql_query("select id, name, deprecated from app");
 while ($app = mysql_fetch_object($result)) {
-    if ( in_array($app->id, $show_only) 
+    if ( in_array($app->id, $show_only)
        || ( in_array("all", $show_only)
           && (!$app->deprecated || $show_deprecated)
           )
@@ -113 +147 @@
         <ul>
     <li> Past 24 hours:
          <a href='result_summary.php?appid=$app->id&nsecs=86400'>summary</a> |
-         <a href='pass_percentage_by_platform.php?appid=$app->id&nsecs=86400'>pass percentage by platform</a> | 
+         <a href='pass_percentage_by_platform.php?appid=$app->id&nsecs=86400'>pass percentage by platform</a> |
          <a href='failure_result_summary_by_host.php?appid=$app->id&nsecs=86400'>failure by host</a> |
          <a href='failure_result_summary_by_platform.php?appid=$app->id&nsecs=86400'> failure by platform</a>
     <li>Past &nbsp;&nbsp;&nbsp;7 days: