Handbuch:getSlaveServer.php
Appearance
Diese Funktion wurde in der Version MediaWiki 1.35 vollständig entfernt. |
| MediaWiki Version: | ≤ 1.34 |
| MediaWiki-Datei: getSlaveServer.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.45.1 • 1.44.3 • 1.39.17 |
| Klassen: | GetSlaveServer |
Details
getSlaveServer.php file is a maintenance script to report the hostname of a slave (replica) server.
This script has been removed in Gerrit change 604544 (MediaWiki 1.35). Use getReplicaServer.php instead.
Options
| Option | Description | Required? |
|---|---|---|
| --group | Query group to check specifically | Optional |
| --cluster | Use an external cluster by name | Optional |
Usage
php maintenance/getSlaveServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getSlaveServer.php slave1.serv.er