diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:05:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | 2c712d35df5d1514e28b479f960a53b89ce59424 (patch) | |
| tree | 38e908429069ceb05bf6f0bd726df9e827c119fe /src | |
| parent | 2d7b703197bd1e64aa6908eb9044128d705d31b0 (diff) | |
| download | cuirass-2c712d35df5d1514e28b479f960a53b89ce59424.tar cuirass-2c712d35df5d1514e28b479f960a53b89ce59424.tar.gz | |
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'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/cuirass/base.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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)))))) |