branch: master
commit 2c712d35df5d1514e28b479f960a53b89ce59424
Author: Ludovic Courtès <[email protected]>
Date: Wed Nov 7 15:05:37 2018 +0100
base: Clear the "in progress" bit of failed evaluations.
Fixes <https://bugs.gnu.org/32734>.
* src/cuirass/base.scm (evaluate): Call 'db-set-evaluation-done' upon
'&evaluation-error'.
---
src/cuirass/base.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm
index 9b275f2..b321778 100644
--- a/src/cuirass/base.scm
+++ b/src/cuirass/base.scm
@@ -306,6 +306,7 @@ Return a list of jobs that are associated to EVAL-ID."
;; otherwise, suppose that data read from port are
;; correct and keep things going.
((? eof-object?)
+ (db-set-evaluation-done eval-id) ;failed!
(raise (condition
(&evaluation-error
(name (assq-ref spec #:name))))))
