diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/cuirass.in | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index ced9c54..a5a11b6 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -85,6 +85,10 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" new-specs))) (if one-shot? (process-specs db (db-get-specifications db)) - (while #t - (process-specs db (db-get-specifications db)) - (sleep interval)))))))))) + (begin + (call-with-new-thread + (λ () + (while #t + (process-specs db (db-get-specifications db)) + (sleep interval)))) + (run-cuirass-server db)))))))))) |