Handbuch:getReplicaServer.php
| MediaWiki Version: | ≥ 1.28 |
| MediaWiki-Datei: getReplicaServer.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Klassen: | GetReplicaServer |
Details
getReplicaServer.php is a maintenance script that reports the hostname of a replica database server.
Optionen
| Option | Beschreibung | Notwendig |
|---|---|---|
| --group | Query group to check specifically | Optional |
| --cluster | Use an external cluster by name | Optional |
Verwendung
php maintenance/getReplicaServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getReplicaServer.php replica1.serv.er