From a24bed0b1f1c6852253b4b0b699ad8bfaf432f6c Mon Sep 17 00:00:00 2001
From: Mathieu Othacehe <othacehe@gnu.org>
Date: Fri, 31 Jul 2020 10:42:44 +0200
Subject: web: Add monitoring fiber.

* bin/cuirass.in (main): Add monitoring fiber in web mode.
---
 bin/cuirass.in | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

(limited to 'bin')

diff --git a/bin/cuirass.in b/bin/cuirass.in
index 7a2d5ae..b2721de 100644
--- a/bin/cuirass.in
+++ b/bin/cuirass.in
@@ -143,12 +143,21 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@"
                      (let ((exit-channel (make-channel)))
 
                        (if (option-ref opts 'web #f)
-                           (spawn-fiber
-                            (essential-task
-                             'web exit-channel
-                             (lambda ()
-                               (run-cuirass-server #:host host #:port port)))
-                            #:parallel? #t)
+                           (begin
+                             (spawn-fiber
+                              (essential-task
+                               'web exit-channel
+                               (lambda ()
+                                 (run-cuirass-server #:host host #:port port)))
+                              #:parallel? #t)
+
+                             (spawn-fiber
+                              (essential-task
+                               'monitor exit-channel
+                               (lambda ()
+                                 (while #t
+                                   (log-monitoring-stats)
+                                   (sleep 600))))))
                            (begin
 
                              (clear-build-queue)
-- 
cgit v1.2.3