|
MediaWiki master
|
Container for accessing information about the database servers in a database cluster. More...
Public Member Functions | |
| addServer (int $i, array $server) | |
| getLagTimes () | |
| getPrimaryServerName () | |
| getServerCount () | |
| getServerDriver (int $i) | |
| getServerInfo (int $i) | |
| getServerInfoStrict ( $i, $field=null) | |
| getServerMaxLag (int $i) | |
| getServerName (int $i) | |
| getServerType (int $i) | |
| getStreamingReplicaIndexes () | |
| hasReplicaServers () | |
| hasServerIndex (int $i) | |
| hasStreamingReplicaServers () | |
| normalizeServerMaps (array $servers, ?array &$indexBySrvName=null) | |
| reconfigureServers (array $paramServers) | |
Public Attributes | |
| const | MAX_LAG_DEFAULT = 6 |
| Default 'maxLag' when unspecified. | |
| const | WRITER_INDEX = 0 |
Container for accessing information about the database servers in a database cluster.
Definition at line 14 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::addServer | ( | int | $i, |
| array | $server ) |
Definition at line 26 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getLagTimes | ( | ) |
Definition at line 58 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getPrimaryServerName | ( | ) |
Definition at line 165 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerCount | ( | ) |
Definition at line 50 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerDriver | ( | int | $i | ) |
Definition at line 34 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerInfo | ( | int | $i | ) |
Definition at line 46 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerInfoStrict | ( | $i, | |
| $field = null ) |
| int | $i | Server index |
| string | null | $field | Server index field [optional] |
| InvalidArgumentException |
Definition at line 78 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerMaxLag | ( | int | $i | ) |
Definition at line 30 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerName | ( | int | $i | ) |
Definition at line 42 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getServerType | ( | int | $i | ) |
Definition at line 38 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::getStreamingReplicaIndexes | ( | ) |
Definition at line 97 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::hasReplicaServers | ( | ) |
Definition at line 169 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::hasServerIndex | ( | int | $i | ) |
Definition at line 54 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::hasStreamingReplicaServers | ( | ) |
Definition at line 108 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::normalizeServerMaps | ( | array | $servers, |
| ?array & | $indexBySrvName = null ) |
Definition at line 139 of file ServerInfo.php.
| Wikimedia\Rdbms\ServerInfo::reconfigureServers | ( | array | $paramServers | ) |
Definition at line 112 of file ServerInfo.php.
| const Wikimedia\Rdbms\ServerInfo::MAX_LAG_DEFAULT = 6 |
Default 'maxLag' when unspecified.
Definition at line 19 of file ServerInfo.php.
| const Wikimedia\Rdbms\ServerInfo::WRITER_INDEX = 0 |
Definition at line 21 of file ServerInfo.php.
Referenced by MediaWiki\ExternalStore\ExternalStoreDB\getDomainIdForCluster(), MediaWiki\ExternalStore\ExternalStoreDB\getPrimary(), MediaWiki\ExternalStore\ExternalStoreDB\getReplica(), Wikimedia\Rdbms\ChronologyProtector\getSessionPrimaryPos(), MediaWiki\ExternalStore\ExternalStoreDB\getTable(), and Wikimedia\Rdbms\ChronologyProtector\stageSessionPrimaryPos().