Fix profiler 7.0

Author: IvanChepurnyi

Vagrantfile

@@ -92,7 +92,8 @@ Vagrant.configure("2") do |config|
         VAGRANT_USER: box_config.get(:user),
         VAGRANT_GROUP: box_config.get(:group),
         VAGRANT_HOSTNAME: box_config.get(:hostname),
-        VAGRANT_FPM_SERVICE: box_config.flag?(:php7) ? 'php7.0-fpm' : 'php5-fpm'
+        VAGRANT_FPM_SERVICE: box_config.flag?(:php7) ? 'php7.0-fpm' : 'php5-fpm',
+        VAGRNAT_PHP_ETC_DIR: box_config.flag?(:php7) ? '/etc/php/7.0/' : '/etc/php5/'
     }
   end
 

vagrant/provisioning/profiler.sh

@@ -36,13 +36,13 @@ if (!empty($_SERVER['PHP_PROFILE']) || !empty($_COOKIE['PHP_PROFILE'])) {
 }
 PHPFILE1
 
-tee /etc/php5/fpm/conf.d/tideways.ini <<PHPINI
+tee ${VAGRNAT_PHP_ETC_DIR}/fpm/conf.d/tideways.ini <<PHPINI
 extension=tideways.so
 auto_prepend_file=$HOME_DIR/xhprof/prepend.php
 tideways.auto_prepend_library=0
 PHPINI
 
-cp /etc/php5/fpm/conf.d/tideways.ini /etc/php5/cli/conf.d/tideways.ini
+cp ${VAGRNAT_PHP_ETC_DIR}/fpm/conf.d/tideways.ini ${VAGRNAT_PHP_ETC_DIR}/cli/conf.d/tideways.ini
 
 if [ ! -L /data/web/staging ]
 then