Manual:getReplicaServer.php
| MediaWiki バージョン: | ≧ 1.28 |
| MediaWiki ファイル: getReplicaServer.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.43.0 • 1.42.4 • 1.39.11 |
| クラス: | GetReplicaServer |
詳細
getReplicaServer.php is a maintenance script that reports the hostname of a replica database server.
オプション
| オプション | 説明 | 必須かどうか |
|---|---|---|
| --group | Query group to check specifically | 省略可能 |
| --cluster | Use an external cluster by name | 省略可能 |
使用法
php maintenance/run.php getReplicaServer [ --group| --cluster ]
Terminal
$ php maintenance/run.php getReplicaServer replica1.serv.er
MediaWiki バージョン 1.39.10 以前では、メンテナンス スクリプトを
php maintenance/run.php scriptName ではなく php maintenance/scriptName.php を使用して実行する必要があります。