|
12345678910111213141516 |
- # Manages the php-hhvm main ini file
- {% from "php/map.jinja" import php with context %}
- {% from "php/ini.jinja" import php_ini %}
-
- {% set server_settings = php.lookup.hhvm.server %}
- {% do server_settings.update(php.hhvm.config.server.settings) %}
-
- {% set php_settings = php.lookup.hhvm.php %}
- {% do php_settings.update(php.hhvm.config.php.settings) %}
-
- php_hhvm_ini_config:
- {{ php_ini(php.lookup.hhvm.conf, php.hhvm.config.server.opts, server_settings) }}
-
- php_hhvm_conf_config:
- {{ php_ini(php.lookup.hhvm.ini, php.hhvm.config.php.opts, php_settings) }}
-
|