2019-08-07 17:01:55 +02:00
|
|
|
# Manages the php-hhvm main ini file
|
2019-08-27 00:28:44 +02:00
|
|
|
{%- set tplroot = tpldir.split('/')[0] %}
|
|
|
|
{%- from tplroot ~ "/map.jinja" import php with context %}
|
|
|
|
{%- from tplroot ~ "/ini.jinja" import php_ini %}
|
2019-08-07 17:01:55 +02:00
|
|
|
|
2019-08-27 00:28:44 +02:00
|
|
|
{%- set server_settings = php.lookup.hhvm.server %}
|
|
|
|
{%- do server_settings.update(php.hhvm.config.server.settings) %}
|
2019-08-07 17:01:55 +02:00
|
|
|
|
2019-08-27 00:28:44 +02:00
|
|
|
{%- set php_settings = php.lookup.hhvm.php %}
|
|
|
|
{%- do php_settings.update(php.hhvm.config.php.settings) %}
|
2019-08-07 17:01:55 +02:00
|
|
|
|
|
|
|
php_hhvm_ini_config:
|
2019-08-27 00:28:44 +02:00
|
|
|
{{ php_ini(php.lookup.hhvm.conf,
|
|
|
|
'php_hhvm_ini_config',
|
|
|
|
php.hhvm.config.server.opts,
|
|
|
|
server_settings
|
|
|
|
) }}
|
2019-08-07 17:01:55 +02:00
|
|
|
|
|
|
|
php_hhvm_conf_config:
|
2019-08-27 00:28:44 +02:00
|
|
|
{{ php_ini(php.lookup.hhvm.ini,
|
|
|
|
'php_hhvm_conf_config',
|
|
|
|
php.hhvm.config.php.opts,
|
|
|
|
php_settings
|
|
|
|
) }}
|