diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-16 15:58:14 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-16 15:58:14 +0200 |
commit | 822dbb366d5febcf57bb047f5d533223ecd3b7ec (patch) | |
tree | b4ae947bce94cc3681c0c7890741229ad9c09eaa | |
parent | 8fc4794b3080944e82610bc8177d0ab7723dfcbd (diff) | |
download | cuirass-822dbb366d5febcf57bb047f5d533223ecd3b7ec.tar cuirass-822dbb366d5febcf57bb047f5d533223ecd3b7ec.tar.gz |
Log metrics update duration.
* bin/cuirass.in (main): Log metrics update duration.
-rw-r--r-- | bin/cuirass.in | 4 |
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 |