weather: Only show request statistics when requests were made.

This avoids the script crashing if all data is fetched from the cache.

* guix/scripts/weather.scm (report-server-coverage): Only show request
statistics when some requests have been made.
This commit is contained in:
Christopher Baines 2021-03-17 23:10:22 +00:00
parent 966e61fb8f
commit 806125e52f
No known key found for this signature in database
GPG Key ID: 5E28A33B0B84F577

@ -212,10 +212,11 @@ Return the coverage ratio, an exact number between 0 and 1."
total)))))
(format #t (G_ " ~,1h MiB on disk (uncompressed)~%")
(/ (reduce + 0 (map narinfo-size narinfos)) MiB))
(format #t (G_ " ~,3h seconds per request (~,1h seconds in total)~%")
(/ time requests-made 1.) time)
(format #t (G_ " ~,1h requests per second~%")
(/ requests-made time 1.))
(when (> requests-made 0)
(format #t (G_ " ~,3h seconds per request (~,1h seconds in total)~%")
(/ time requests-made 1.) time)
(format #t (G_ " ~,1h requests per second~%")
(/ requests-made time 1.)))
(guard (c ((http-get-error? c)
(if (= 404 (http-get-error-code c))