From 6a98dad57677f20a491d0dc4a09a88ed853959dd Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 8 Jun 2017 09:29:59 +0200
Subject: bin/get-assignment: remove old state files on handing out new
 assignment

---
 bin/get-assignment | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'bin/get-assignment')

diff --git a/bin/get-assignment b/bin/get-assignment
index 42446bc..2f1c4f6 100755
--- a/bin/get-assignment
+++ b/bin/get-assignment
@@ -28,6 +28,13 @@ hand_out_assignment() {
     return 0
   fi
 
+  # we don't care anymore if an older version of this package was
+  # "locked" or "broken" (we keep only marker for older "done" packages)
+  ls "${work_dir}/package-states" | \
+    grep "^${1//./\\.}\(\.[^.]\+\)\{3\}\.\(locked\|broken\)\$" | \
+    sed "s|^|${work_dir}/package-states/|" | \
+    xargs -rn1 rm -f
+
   echo "$1 $2 $3 $4"
   echo "${slave}" > "${work_dir}/package-states/$1.$2.$3.$4.locked"
 
-- 
cgit v1.2.3-54-g00ecf