127 |
} elseif ($prev && !$prev_failure[$rpm]) { |
} elseif ($prev && !$prev_failure[$rpm]) { |
128 |
$status = " <span style='color:red;'><b>New!</b></span>"; |
$status = " <span style='color:red;'><b>New!</b></span>"; |
129 |
} |
} |
130 |
echo "<li><a href='$base_dir/$rpm/'>$rpm</a>$status</li>\n"; |
if (file_exists("$base_dir/$rpm/")) { |
131 |
|
echo "<li><a href='$base_dir/$rpm/'>$rpm</a>$status</li>\n"; |
132 |
|
} else { |
133 |
|
echo "<li>$rpm $status</li>\n"; |
134 |
|
} |
135 |
} |
} |
136 |
|
|
137 |
echo "</ul></div><div style='float:right'><h1>Successful builds ($nb_success/$nb_tried):</h1><ul>"; |
echo "</ul></div><div style='float:right'><h1>Successful builds ($nb_success/$nb_tried):</h1><ul>"; |