jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/339394 )
Change subject: Disable hhvm stat_cache ...................................................................... Disable hhvm stat_cache Stability over performance. In fact, new version might be faster if it doesn't crash anymore after this. https://github.com/facebook/hhvm/issues/7567 Change-Id: I114addb5b93a59ea1bbbaf2158329b5dceb83934 --- M puppet/modules/hhvm/files/development.ini M puppet/modules/hhvm/files/server.ini 2 files changed, 0 insertions(+), 2 deletions(-) Approvals: jenkins-bot: Verified Nikerabbit: Looks good to me, approved diff --git a/puppet/modules/hhvm/files/development.ini b/puppet/modules/hhvm/files/development.ini index 994b6e0..5f4a782 100644 --- a/puppet/modules/hhvm/files/development.ini +++ b/puppet/modules/hhvm/files/development.ini @@ -14,7 +14,6 @@ hhvm.server.type = fastcgi hhvm.server.gzip_compression_level = 0 hhvm.server.graceful_shutdown_wait = 5 -hhvm.server.stat_cache = 1 hhvm.admin_server.port = 9002 hhvm.repo.central.path = /run/hhvm/development.hhbc diff --git a/puppet/modules/hhvm/files/server.ini b/puppet/modules/hhvm/files/server.ini index c2ffae0..f44f800 100644 --- a/puppet/modules/hhvm/files/server.ini +++ b/puppet/modules/hhvm/files/server.ini @@ -15,7 +15,6 @@ hhvm.server.type = fastcgi hhvm.server.gzip_compression_level = 0 hhvm.server.graceful_shutdown_wait = 5 -hhvm.server.stat_cache = 1 hhvm.admin_server.port = 9001 hhvm.repo.central.path = /run/hhvm/hhvm.hhbc -- To view, visit https://gerrit.wikimedia.org/r/339394 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I114addb5b93a59ea1bbbaf2158329b5dceb83934 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Nikerabbit <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
