jenkins-bot has submitted this change and it was merged.
Change subject: Follow-up for I8a87a679ed: unlist rdb1 server
......................................................................
Follow-up for I8a87a679ed: unlist rdb1 server
Change-Id: I0ad3e23719c2fd8361554de4df29696bee700c08
---
M wmf-config/filebackend-production.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/filebackend-production.php
b/wmf-config/filebackend-production.php
index 8459ced..fd7e129 100644
--- a/wmf-config/filebackend-production.php
+++ b/wmf-config/filebackend-production.php
@@ -141,7 +141,7 @@
'rdb3' => '10.64.0.182'
),
'srvsByBucket' => array(
- 0 => array( 'rdb1', 'rdb2', 'rdb3' )
+ 0 => array( 'rdb2', 'rdb3' )
),
'redisConfig' => array(
'connectTimeout' => 2,
--
To view, visit https://gerrit.wikimedia.org/r/273957
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0ad3e23719c2fd8361554de4df29696bee700c08
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
