diff options
| -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)))))) |