diff options
Diffstat (limited to 'ulri')
| -rwxr-xr-x | ulri | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -645,7 +645,7 @@ foreach my $prefix (sort keys %pkg_tree) { $cmd =~ s!__MEDIA__!$media_to_add!g; plog('DEBUG', "Build $pkgs"); - ssh($remote, "$cmd $pkgs &> $temp &"); + ssh($remote, "$cmd $pkgs > $temp &"); # wait 10 seconds or until we have the log file # plus 20 seconds if it timeouts. @@ -663,7 +663,10 @@ foreach my $prefix (sort keys %pkg_tree) { my $pid = get_pid_from_file($temp); unlink $temp; plog('DEBUG', "remote pid $pid"); - last unless $pid; + if (!$pid) { + plog('WARN', "pid is unknown, abandoning the build."); + last; + } # create lock file # |