Manual:$wgPoolCountClientConf
From mediawiki.org
| Performance hacks and limits: $wgPoolCountClientConf | |
|---|---|
| Configuration array for the PoolCounter client. |
|
| Introduced in version: | 1.40.0 (Gerrit change 834401; git #adb9c0cc) |
| Removed in version: | Still in use |
| Allowed values: | (array) |
| Default value: | See below |
| Other settings: Alphabetical | By function | |
Details
[edit ]Configuration array for the PoolCounter client.
- servers - Array of hostnames, or hostname:port. The default port is 7531.
- timeout - Connection timeout.
- connect_timeout - Alternative connection timeout. If set, it is used instead of `timeout` and will be retried once if a connection fails to be established. Background: phab:T105378.
Default values
[edit ]$wgPoolCountClientConf = [ 'servers' => [ '127.0.0.1', ], 'timeout' => 0.1, ];