Ori.livneh has submitted this change and it was merged.
Change subject: hhvm: set hhvm.xenon.period to 600
......................................................................
hhvm: set hhvm.xenon.period to 600
See Ia5937be92 for details.
Change-Id: I2e4898a21a0d883ea45e6d16a864ceb08f34d751
---
D hieradata/hosts/mw1081.yaml
D hieradata/hosts/mw1082.yaml
D hieradata/hosts/mw1083.yaml
M modules/mediawiki/manifests/hhvm.pp
4 files changed, 3 insertions(+), 9 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/hieradata/hosts/mw1081.yaml b/hieradata/hosts/mw1081.yaml
deleted file mode 100644
index 03ae677..0000000
--- a/hieradata/hosts/mw1081.yaml
+++ /dev/null
@@ -1,3 +0,0 @@
-hhvm::extra::fcgi:
- hhvm:
- xenon.period: 600
diff --git a/hieradata/hosts/mw1082.yaml b/hieradata/hosts/mw1082.yaml
deleted file mode 100644
index 03ae677..0000000
--- a/hieradata/hosts/mw1082.yaml
+++ /dev/null
@@ -1,3 +0,0 @@
-hhvm::extra::fcgi:
- hhvm:
- xenon.period: 600
diff --git a/hieradata/hosts/mw1083.yaml b/hieradata/hosts/mw1083.yaml
deleted file mode 100644
index 03ae677..0000000
--- a/hieradata/hosts/mw1083.yaml
+++ /dev/null
@@ -1,3 +0,0 @@
-hhvm::extra::fcgi:
- hhvm:
- xenon.period: 600
diff --git a/modules/mediawiki/manifests/hhvm.pp
b/modules/mediawiki/manifests/hhvm.pp
index 7c96b7a..5b17ad6 100644
--- a/modules/mediawiki/manifests/hhvm.pp
+++ b/modules/mediawiki/manifests/hhvm.pp
@@ -24,6 +24,9 @@
group => 'apache',
fcgi_settings => {
hhvm => {
+ xenon => {
+ period => to_seconds('10 minutes'),
+ },
error_handling => {
call_user_handler_on_fatals => true,
},
--
To view, visit https://gerrit.wikimedia.org/r/179403
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e4898a21a0d883ea45e6d16a864ceb08f34d751
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
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
