Manuel:GetLagTimes.php
Appearance
Version de MediaWiki : | ≥ 1.9 |
Fichier MediaWiki : getLagTimes.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes : | GetLagTimes |
Détails
Le fichier getLagTimes.php est un script de maintenance pour afficher les délais de réplication de $wgLoadBalancer
.
Options et arguments
Option | Description | Obligatoire ? |
---|---|---|
--report | Signaler les valeurs de décalage à StatsD | optionnel |
Utilisation
php maintenance/getLagTimes.php [ --report ]
Terminal
$ php maintenance/getLagTimes.php 10.0.0.236 db3.pmtpa.wmnet 0 10.0.0.237 db4.pmtpa.wmnet 8 ******** 10.0.0.102 samuel.pmtpa.wmnet 1 *
Le script peut être appelé de manière répétitive à partir de la ligne de commande pour créer un simple script 'lagtop' contrôlant l'état d'une grappe.
# simple shell script to run getLagTimes.php every five seconds
while [true]
do
php maintenance/getLagTimes.php
sleep 5
done