brun: Report DONE even on hosts where no job is queued

Otherwise, bprun can lose a process if another instance of brun
flushed all jobs in the meantime.

diff --git a/brun b/brun
index 387347a9b0c5aed9f5b168764e9821271fe51dc7..3769b31eaf886d9a01cbd58e524c4c35eb897f54 100755 (executable)
--- a/brun
+++ b/brun
@@ -187,6 +187,7 @@ for my $mach (@machines) {
                        }
                }
        }
+} continue {
        update_status($mach, '-', 'DONE', undef);
 }
 $queue->unlock;