Jump to content

Manual:$wgPoolCountClientConf

From mediawiki.org
This page is a translated version of the page Manual:$wgPoolCountClientConf and the translation is 71% complete.
パフォーマンス ハックと制限: $wgPoolCountClientConf
Configuration array for the PoolCounter client.
導入されたバージョン:1.40.0 (Gerrit change 834401; git #adb9c0cc)
除去されたバージョン:使用中
許容される値:(配列)
既定値:下記参照

詳細

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.

既定値

$wgPoolCountClientConf = [
	'servers' => [
		'127.0.0.1',
	],
	'timeout' => 0.1,
];