From 52238360bcc5de2945430cbef1f7f08cde7d571b Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Wed, 16 Jan 2013 23:55:03 +0000 Subject: Use the time of the specific package, it may have been fixed before the end of the run --- autobuild/results.php | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/autobuild/results.php b/autobuild/results.php index eb0f013..891ce4a 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -68,9 +68,6 @@ if (!file_exists($status_name)) { exit; } -$stat = stat($status_name); -$end_time = $stat['mtime']; - $status_file = fopen($status_name, "r"); while (!feof($status_file)) { $line = fgets($status_file); @@ -87,8 +84,9 @@ while (!feof($status_file)) { if(!$packages[$package]) { $removed[$rpm] = 1; } else { - $stat = stat('/distrib/bootstrap/distrib/cauldron/SRPMS/core/release/'.$packages[$package]); - if ($stat['mtime'] > $end_time) { + $build_stat = stat("$base_dir/$rpm"); + $pkg_stat = stat('/distrib/bootstrap/distrib/cauldron/SRPMS/core/release/'.$packages[$package]); + if ($pkg_stat['mtime'] > $build_stat['mtime']) { $fixed[$rpm] = 1; } } -- cgit v1.2.1