Manuel:GetLagTimes.php
| Version de MediaWiki : | ≥ 1.9 |
| Fichier MediaWiki : getLagTimes.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| 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