diff options
| -rw-r--r-- | lib.php | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -85,7 +85,8 @@ function get_refined_packages_list($list_of_files, $package = null, $user = null } $status = ''; - if ($val[1] != 'failure') { + if ($val[1] != 'done' && $val[1] != 'failure') { + // partial/done are detected with .done files // failures are detected with .fail files $status = $val[1]; } @@ -116,6 +117,7 @@ function get_refined_packages_list($list_of_files, $package = null, $user = null } } else if ($ext == '.done') { // beware! this block is called twice for a given $key + $status = 'done'; $pkgs[$key]['buildtime']['start'] = key2timestamp($val[6]); $pkgs[$key]['buildtime']['end'] = round($val[12]); |