Jump to content
MediaWiki

Příručka:$wgPoolCountClientConf

From mediawiki.org
Revision as of 19:43, 10 January 2024 by FuzzyBot (talk | contribs) (Updating to match new version of source page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Languages:
Výkonnostní hacky a limity: $wgPoolCountClientConf
Pole konfigurace pro klienta PoolCounter.
Zavedeno od verze:1.40.0 (Gerrit change 834401; git #adb9c0cc)
Odstraněno od verze:stále se používá
Povolené hodnoty:(pole)
Výchozí hodnota:Viz níže
Další nastavení: Podle abecedy | Podle funkce

Podrobnosti

Pole konfigurace pro klienta PoolCounter.

  • 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.

Výchozí hodnoty

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

AltStyle によって変換されたページ (->オリジナル) /