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

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,
];