cvs: php-gcov-web(SOC06) /www index.php
| From: | Nuno Lopes | Date: | Fri, 20 Oct 2006 22:54:30 +0000 |
| Subject: | cvs: php-gcov-web(SOC06) /www index.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-33122@lists.php.net to get a copy of this message | ||
nlopess Fri Oct 20 22:54:30 2006 UTC
Modified files: (Branch: SOC06)
/php-gcov-web/www index.php
Log:
lets fetch the process list through the ps command, because the kill() system call needs too much
priviledges
http://cvs.php.net/viewvc.cgi/php-gcov-web/www/index.php?r1=1.1.2.14&r2=1.1.2.15&diff_format=u
Index: php-gcov-web/www/index.php
diff -u php-gcov-web/www/index.php:1.1.2.14 php-gcov-web/www/index.php:1.1.2.15
--- php-gcov-web/www/index.php:1.1.2.14 Fri Oct 20 22:10:27 2006
+++ php-gcov-web/www/index.php Fri Oct 20 22:54:30 2006
@@ -19,7 +19,7 @@
+----------------------------------------------------------------------+
*/
-/* $Id: index.php,v 1.1.2.14 2006/10/20 22:10:27 nlopess Exp $ */
+/* $Id: index.php,v 1.1.2.15 2006/10/20 22:54:30 nlopess Exp $ */
// Include the site API
include 'site.api.php';
@@ -79,8 +79,9 @@
echo '<td>';
$pidfile = "./$version_name/build.pid";
+ $process_list =
ps -A;
- if(@file_exists($pidfile) && posix_kill((int)@file_get_contents($pidfile), 0)) {
+ if(@file_exists($pidfile) && strpos($process_list,
(int)@file_get_contents($pidfile).' ')) {
if($version_last_build_time > 0) {
// Obtain last modified date and time of the process id file