From 2e6a7d7ccaa067ce8da4f315172f2e631105999f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 31 Oct 2011 16:11:24 +0100
Subject: [PATCH] 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.
---
 brun | 1 +
 1 file changed, 1 insertion(+)

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