Log metrics update duration.

* bin/cuirass.in (main): Log metrics update duration.
2020-09-16 15:58:14 +02:00 · 2020-09-16 15:58:14 +02:00 · 822dbb366d
parent 8fc4794b30
commit 822dbb366d
1 changed files with 3 additions and 1 deletions
--- a/bin/cuirass.in
+++ b/bin/cuirass.in
@ -193,7 +193,9 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@"
                               'metrics exit-channel
                               (lambda ()
                                 (while #t
-                                   (db-update-metrics)
+                                   (with-time-logging
+                                    "Metrics update"
+                                    (db-update-metrics))
                                   (sleep 3600)))))

                             (spawn-fiber