Jump to content

Handbuch:getReplicaServer.php

From mediawiki.org
This page is a translated version of the page Manual:GetReplicaServer.php and the translation is 89% complete.
MediaWiki Version:
1.28

Details

getReplicaServer.php is a maintenance script that reports the hostname of a replica database server.

Optionen

Option Beschreibung Notwendig
--group Query group to check specifically Optional
--cluster Use an external cluster by name Optional

Verwendung

php maintenance/getReplicaServer.php [ --group| --cluster ]
Terminal

Siehe auch