Ori.livneh has submitted this change and it was merged.
Change subject: hhvm: dedupe mysql config key
......................................................................
hhvm: dedupe mysql config key
Change-Id: I58b9500712c98ab68089fd607b5dff09a3020761
---
M modules/hhvm/manifests/init.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/hhvm/manifests/init.pp b/modules/hhvm/manifests/init.pp
index fcc0d5c..1ed8f07 100644
--- a/modules/hhvm/manifests/init.pp
+++ b/modules/hhvm/manifests/init.pp
@@ -88,7 +88,6 @@
enable_obj_destruct_call => true,
enable_zend_compat => true,
include_path => '.:/usr/share/php',
- mysql => { typed_results => false },
pid_file => '', # PID file managed by
start-stop-daemon(8)
resource_limit => { core_file_size => to_bytes('8 Gb') },
log => {
@@ -98,6 +97,7 @@
native_stack_trace => true,
},
mysql => {
+ typed_results => false,
slow_query_threshold => 10 * 1000, # milliseconds
},
debug => {
--
To view, visit https://gerrit.wikimedia.org/r/156016
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I58b9500712c98ab68089fd607b5dff09a3020761
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
