Dan-nl has uploaded a new change for review. https://gerrit.wikimedia.org/r/186917
Change subject: Force creation of /etc/hhvm/php.ini ...................................................................... Force creation of /etc/hhvm/php.ini The current HHVM Debian package, v3.3.1+dfsg1-1+wm3, used in MediaWiki-Vagrant seems to incorrectly create the php.ini file in /etc/hhvm/php.ini/php.ini instead of in /etc/hhvm/php.ini. Thus, when vagrant provision runs, its attempt to create/overwrite the file /etc/hhvm/php.ini fails because it’s a directory. setting force => true in the puppet congifuration allows it to do so. Bug: T87478 Change-Id: I7b955a3b86242a44b9c4e42adfe0b423b55d5ea6 --- M puppet/modules/hhvm/manifests/init.pp 1 file changed, 1 insertion(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/17/186917/1 diff --git a/puppet/modules/hhvm/manifests/init.pp b/puppet/modules/hhvm/manifests/init.pp index 3300e12..cbf6ea6 100644 --- a/puppet/modules/hhvm/manifests/init.pp +++ b/puppet/modules/hhvm/manifests/init.pp @@ -69,6 +69,7 @@ file { '/etc/hhvm/php.ini': content => php_ini($common_settings), + force => true } file { '/etc/hhvm/fcgi.ini': -- To view, visit https://gerrit.wikimedia.org/r/186917 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7b955a3b86242a44b9c4e42adfe0b423b55d5ea6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Dan-nl <d_ent...@yahoo.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits