diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/cuirass.in | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index 55e92b6..8da9369 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -194,11 +194,12 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" (essential-task 'build exit-channel (lambda () - (while #t - (process-specs (db-get-specifications)) - (log-message - "next evaluation in ~a seconds" interval) - (sleep interval))))) + (with-registration-workers + (while #t + (process-specs (db-get-specifications)) + (log-message + "next evaluation in ~a seconds" interval) + (sleep interval)))))) (spawn-fiber (essential-task |