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.1 • 1.41.2 • 1.39.8 |
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