aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-09-16 15:58:14 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-09-16 15:58:14 +0200
commit822dbb366d5febcf57bb047f5d533223ecd3b7ec (patch)
treeb4ae947bce94cc3681c0c7890741229ad9c09eaa
parent8fc4794b3080944e82610bc8177d0ab7723dfcbd (diff)
downloadcuirass-822dbb366d5febcf57bb047f5d533223ecd3b7ec.tar
cuirass-822dbb366d5febcf57bb047f5d533223ecd3b7ec.tar.gz
Log metrics update duration.
* bin/cuirass.in (main): Log metrics update duration.
-rw-r--r--bin/cuirass.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in
index 9c856fc..ed21ed7 100644
--- 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