jenkins-bot has submitted this change and it was merged.
Change subject: mediawiki setup: don't specify --server
......................................................................
mediawiki setup: don't specify --server
This lets the Puppet files work in places that aren't using 127.0.0.1:8080 to
access
the site, such as labs
Change-Id: Iaf102317054712eb1c308fe8c1f30edb340c960a
---
M puppet/modules/mediawiki/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/mediawiki/manifests/init.pp
b/puppet/modules/mediawiki/manifests/init.pp
index 0197ae6..646852c 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -101,7 +101,7 @@
exec { 'mediawiki setup':
require => [ Exec['set mysql password'],
Git::Clone['mediawiki/core'], File[$upload_dir] ],
creates => "${dir}/LocalSettings.php",
- command => "php ${dir}/maintenance/install.php ${wiki_name}
${admin_user} --pass ${admin_pass} --dbname ${db_name} --dbuser ${db_user}
--dbpass ${db_pass} --server ${server_url} --scriptpath '/w'",
+ command => "php ${dir}/maintenance/install.php ${wiki_name}
${admin_user} --pass ${admin_pass} --dbname ${db_name} --dbuser ${db_user}
--dbpass ${db_pass} --scriptpath '/w'",
}
exec { 'require extra settings':
--
To view, visit https://gerrit.wikimedia.org/r/86214
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaf102317054712eb1c308fe8c1f30edb340c960a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Yuvipanda <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: Yuvipanda <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
