Manual:getSlaveServer.php
This feature was removed completely in version 1.35. |
MediaWiki version: | ≤ 1.34 |
MediaWiki file: getSlaveServer.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes: | GetSlaveServer |
Details
editgetSlaveServer.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
editOption | Description | Required? |
---|---|---|
--group | Query group to check specifically | Optional |
--cluster | Use an external cluster by name | Optional |
Usage
editphp maintenance/getSlaveServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getSlaveServer.php slave1.serv.er