Manual:GetSlaveServer.php
 | この機能は、バージョン MediaWiki 1.35 で完全に除去されました。 |
| MediaWiki バージョン: | ≦ 1.34 |
| MediaWiki ファイル: getSlaveServer.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.45.1 • 1.44.3 • 1.43.6 |
| クラス: | GetSlaveServer |
詳細
getSlaveServer.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.
オプション
| オプション | 説明 | 必須かどうか |
|---|---|---|
| --group | Query group to check specifically | 省略可能 |
| --cluster | Use an external cluster by name | 省略可能 |
使用法
php maintenance/getSlaveServer.php [ --group| --cluster ]
Terminal
$ php maintenance/getSlaveServer.php slave1.serv.er