Manual:GetReplicaServer.php/pl
Appearance
Wersja MediaWiki: | ≥ 1.28 |
Plik MediaWiki: getReplicaServer.php | |
---|---|
Lokalizacja: | maintenance/ |
Kod źródłowy: | master • 1.42.1 • 1.41.2 • 1.39.8 |
Klasy: | GetReplicaServer |
Details
getReplicaServer.php is a maintenance script that reports the hostname of a replica database server.
Options
Option | Description | Required |
---|---|---|
--group | Query group to check specifically | Optional |
--cluster | Use an external cluster by name | Optional |
Usage
php maintenance/getReplicaServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getReplicaServer.php replica1.serv.er