Manual:$wgPoolCountClientConf/ja

Category:MediaWiki configuration settings/ja#PoolCountClientConfCategory:MediaWiki configuration settings introduced in version 1.40.0/ja#PoolCountClientConfCategory:MediaWiki configuration settings still in use/ja#PoolCountClientConfCategory:Reduction variables/ja#PoolCountClientConf
パフォーマンス ハックと制限: $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,
];
Category:MediaWiki configuration settings/ja Category:MediaWiki configuration settings introduced in version 1.40.0/ja Category:MediaWiki configuration settings still in use/ja Category:Reduction variables/ja