[no subject]

[Ludovic Courtès]

branch: master
commit 2c712d35df5d1514e28b479f960a53b89ce59424
Author: Ludovic Courtès <address@hidden>
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))))))