Manuel:GetLagTimes.php
| Version de MediaWiki : | ≥ 1.9 |
| Fichier MediaWiki : getLagTimes.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.43.1 • 1.42.6 • 1.39.12 |
| 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/run.php getLagTimes [ --report ]
Terminal
$ php maintenance/run.php getLagTimes 10.0.0.236 db3.pmtpa.wmnet 0 10.0.0.237 db4.pmtpa.wmnet 8 ******** 10.0.0.102 samuel.pmtpa.wmnet 1 *
Dans la version MediaWiki 1.39.12 et antérieure, vous devez invoquer des scripts de maintenance à l'aide de
php maintenance/scriptName.php au lieu de php maintenance/run.php scriptName.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/run.php getLagTimes
sleep 5
done