From a707cf12d221dd6ffa37b945699861f8b729c7e2 Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Wed, 26 Dec 2012 13:55:57 +0000 Subject: Do not create dead links --- autobuild/index.php | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/autobuild/index.php b/autobuild/index.php index 283531b..c92157b 100644 --- a/autobuild/index.php +++ b/autobuild/index.php @@ -127,7 +127,11 @@ foreach ($failure as $rpm) { } elseif ($prev && !$prev_failure[$rpm]) { $status = " New!"; } - echo "
  • $rpm$status
  • \n"; + if (file_exists("$base_dir/$rpm/")) { + echo "
  • $rpm$status
  • \n"; + } else { + echo "
  • $rpm $status
  • \n"; + } } echo "

    Successful builds ($nb_success/$nb_tried):