diff options
| author | Aaron Schulz <aschulz@wikimedia.org> | 2023-04-03 15:45:42 -0700 |
|---|---|---|
| committer | Aaron Schulz <aschulz@wikimedia.org> | 2023-04-03 15:45:42 -0700 |
| commit | 061753f108b0705adb5cfa059bfef9585873cc9c (patch) | |
| tree | 13495e498bad079499fa6d19680708ec3db68bc5 /maintenance/getLagTimes.php | |
| parent | 70d2c9ad9106db7123cc9b28f29158b2cb6093fa (diff) | |
| download | mediawikicore-061753f108b0705adb5cfa059bfef9585873cc9c.tar.gz mediawikicore-061753f108b0705adb5cfa059bfef9585873cc9c.zip | |
rdbms: fix loadbalancer.lag metrics to consistently use gauge()
Change-Id: Ie3726b27f376cff17cffda4844300cbcba0ae94c
Diffstat (limited to 'maintenance/getLagTimes.php')
| -rw-r--r-- | maintenance/getLagTimes.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/getLagTimes.php b/maintenance/getLagTimes.php index f9af6cffd02a..f931b460bcf5 100644 --- a/maintenance/getLagTimes.php +++ b/maintenance/getLagTimes.php @@ -68,7 +68,7 @@ class GetLagTimes extends Maintenance { if ( $this->hasOption( 'report' ) ) { $group = ( $type === 'external' ) ? 'external' : $cluster; - $stats->gauge( "loadbalancer.lag.$group.$host", intval( $lag * 1e3 ) ); + $stats->gauge( "loadbalancer.lag.$group.$host", (int)( $lag * 1e3 ) ); } } } |