From 71796c0e041d87a7822465844ce69f17ef528bc6 Mon Sep 17 00:00:00 2001 From: Brad Jorsch Date: Thu, 1 Feb 2018 16:26:09 -0500 Subject: [PATCH] benchmarks: Fix divide by zero in Benchmarker Follows-up 593442683dc471c0. Bug: T186269 Change-Id: I011a8614e0acf489daf5bd9dcb932e920b995092 --- maintenance/benchmarks/Benchmarker.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/benchmarks/Benchmarker.php b/maintenance/benchmarks/Benchmarker.php index f1e7dbbdee..e1eef07e07 100644 --- 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, -- 2.20.1