Manual:getReplicaServer.php
Appearance
MediaWiki バージョン: | ≧ 1.28 |
MediaWiki ファイル: getReplicaServer.php | |
---|---|
場所: | maintenance/ |
ソース コード: | master • 1.42.3 • 1.41.4 • 1.39.10 |
クラス: | 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/getReplicaServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getReplicaServer.php replica1.serv.er