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

Reply via email to