2015-07-25 11:39:50 +02:00
|
|
|
# Manages the php-hhvm main ini file
|
|
|
|
{% from "php/ng/map.jinja" import php with context %}
|
|
|
|
{% from "php/ng/ini.jinja" import php_ini %}
|
|
|
|
|
2019-07-28 07:05:22 +02:00
|
|
|
include:
|
|
|
|
- php.ng.deprecated
|
|
|
|
|
2015-07-25 22:15:28 +02:00
|
|
|
{% set server_settings = php.lookup.hhvm.server %}
|
|
|
|
{% do server_settings.update(php.hhvm.config.server.settings) %}
|
2015-07-25 11:39:50 +02:00
|
|
|
|
2015-07-25 22:15:28 +02:00
|
|
|
{% set php_settings = php.lookup.hhvm.php %}
|
|
|
|
{% do php_settings.update(php.hhvm.config.php.settings) %}
|
2015-07-25 11:39:50 +02:00
|
|
|
|
|
|
|
php_hhvm_ini_config:
|
2015-07-25 22:15:28 +02:00
|
|
|
{{ php_ini(php.lookup.hhvm.conf, php.hhvm.config.server.opts, server_settings) }}
|
2015-07-25 11:39:50 +02:00
|
|
|
|
|
|
|
php_hhvm_conf_config:
|
2015-07-25 22:15:28 +02:00
|
|
|
{{ php_ini(php.lookup.hhvm.ini, php.hhvm.config.php.opts, php_settings) }}
|
2015-07-25 11:39:50 +02:00
|
|
|
|