[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Ludovic Courtès |
Date: |
Wed, 7 Nov 2018 09:28:24 -0500 (EST) |
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))))))
- [no subject], (continued)
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject],
Ludovic Courtès <=
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07
- [no subject], Ludovic Courtès, 2018/11/07