Manuel:GetSlaveServer.php
 | Cette fonctionnalité a été supprimée entièrement dans la version 1.35. |
| Version de MediaWiki : | ≤ 1.34 |
| Fichier MediaWiki : getSlaveServer.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | GetSlaveServer |
Détails
Le fichier getSlaveServer.php est un script de maintenance fournissant le nom d'hôte (hostname) d'un serveur (répliqué) esclave.
Ce script a été supprimé dans Gerrit change 604544 (MediaWiki 1.35). Utilisez getReplicaServer.php à la place.
Options
| Option | Description | Type |
|---|---|---|
| --group | groupe interrogé à vérifier particulièrement | optionnel |
| --cluster | utiliser une grappe externe par nom | optionnel |
Utilisation
php maintenance/getSlaveServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getSlaveServer.php slave1.serv.er