diff options
| author | Pascal Terjan <pterjan@mageia.org> | 2012-12-26 13:55:57 +0000 |
|---|---|---|
| committer | Pascal Terjan <pterjan@mageia.org> | 2012-12-26 13:55:57 +0000 |
| commit | a707cf12d221dd6ffa37b945699861f8b729c7e2 (patch) | |
| tree | ef045f6b216660b239efcc658c3cb0b89d189623 /autobuild/index.php | |
| parent | 448a17a92d84dd5954b9f5e4048077b7750fb74f (diff) | |
| download | pkgsubmit-a707cf12d221dd6ffa37b945699861f8b729c7e2.tar pkgsubmit-a707cf12d221dd6ffa37b945699861f8b729c7e2.tar.gz pkgsubmit-a707cf12d221dd6ffa37b945699861f8b729c7e2.tar.bz2 pkgsubmit-a707cf12d221dd6ffa37b945699861f8b729c7e2.tar.xz pkgsubmit-a707cf12d221dd6ffa37b945699861f8b729c7e2.zip | |
Do not create dead links
Diffstat (limited to 'autobuild/index.php')
| -rw-r--r-- | autobuild/index.php | 6 |
1 files changed, 5 insertions, 1 deletions
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 = " <span style='color:red;'><b>New!</b></span>"; } - echo "<li><a href='$base_dir/$rpm/'>$rpm</a>$status</li>\n"; + if (file_exists("$base_dir/$rpm/")) { + echo "<li><a href='$base_dir/$rpm/'>$rpm</a>$status</li>\n"; + } else { + echo "<li>$rpm $status</li>\n"; + } } echo "</ul></div><div style='float:right'><h1>Successful builds ($nb_success/$nb_tried):</h1><ul>"; |