| Nuno Lopes 2006-10-20, 6:59 pm |
| 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-g...5&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($pidf
ile), 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
|