benchmarks: Fix divide by zero in Benchmarker

Follows-up 593442683dc471c0.

Bug: T186269
Change-Id: I011a8614e0acf489daf5bd9dcb932e920b995092

diff --git a/maintenance/benchmarks/Benchmarker.php b/maintenance/benchmarks/Benchmarker.php
index f1e7dbb..e1eef07 100644 (file)
--- a/maintenance/benchmarks/Benchmarker.php
+++ b/maintenance/benchmarks/Benchmarker.php
@@ -100,7 +100,7 @@ abstract class Benchmarker extends Maintenance {
                                'name' => $name,
                                'count' => $stat->getCount(),
                                // Get rate per second from mean (in ms)
-                               'rate' => 1.0 / ( $stat->getMean() / 1000.0 ),
+                               'rate' => $stat->getMean() == 0 ? INF : ( 1.0 / ( $stat->getMean() / 1000.0 ) ),
                                'total' => $stat->getMean() * $stat->getCount(),
                                'mean' => $stat->getMean(),
                                'max' => $stat->max,