cvs: php-gcov-web /www index.php
| From: | Nuno Lopes | Date: | Tue, 26 Dec 2006 22:57:15 +0000 |
| Subject: | cvs: php-gcov-web /www index.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-33610@lists.php.net to get a copy of this message | ||
nlopess Tue Dec 26 22:57:15 2006 UTC
Modified files:
/php-gcov-web/www index.php
Log:
add a bold message to the first page when the build fails (as it has now..)
http://cvs.php.net/viewvc.cgi/php-gcov-web/www/index.php?r1=1.2&r2=1.3&diff_format=u
Index: php-gcov-web/www/index.php
diff -u php-gcov-web/www/index.php:1.2 php-gcov-web/www/index.php:1.3
--- php-gcov-web/www/index.php:1.2 Tue Dec 19 15:52:13 2006
+++ php-gcov-web/www/index.php Tue Dec 26 22:57:14 2006
@@ -19,7 +19,7 @@
+----------------------------------------------------------------------+
*/
-/* $Id: index.php,v 1.2 2006/12/19 15:52:13 nlopess Exp $ */
+/* $Id: index.php,v 1.3 2006/12/26 22:57:14 nlopess Exp $ */
// Include the site API
include 'site.api.php';
@@ -65,6 +65,8 @@
</tr>
<?php
+$process_list =
ps -A;
+
// Output PHP versions into a table
while($stmt && $row = $stmt->fetch(PDO::FETCH_NUM))
{
@@ -79,7 +81,6 @@
echo '<td>';
$pidfile = "./$version_name/build.pid";
- $process_list = ps -A;
if(@file_exists($pidfile) && strpos($process_list,
(int)@file_get_contents($pidfile).' ')) {
@@ -100,7 +101,11 @@
} else {
@unlink($pidfile);
- echo 'Not running';
+ if ($version_last_attempted_build_date === $version_last_successful_build_date) {
+ echo 'Not running';
+ } else {
+ echo '<b>Build failed!</b>';
+ }
} // End check for a running php build process id
echo "</td>\n";