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'.
2018-11-07 15:05:37 +01:00 · 2018-11-07 15:05:37 +01:00 · 2c712d35df
parent 2d7b703197
commit 2c712d35df
1 changed files with 1 additions and 0 deletions
--- 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))))))