ILIAS / HHVM / Nginx configs

hhvm_php.ini

; /etc/hhvm/php.ini

; php options
session.save_handler = files
session.save_path = /var/lib/php5
session.gc_maxlifetime = 1440

; hhvm specific
hhvm.log.level = Warning
hhvm.log.always_log_unhandled_exceptions = true ; (!)
hhvm.mysql.typed_results = false
hhvm.mysql.socket=/var/run/mysqld/mysqld.sock

; ILIAS - common settings
hhvm.libxml.ext_entity_whitelist = file ; avoid problem with DTD-Validation in Page-Editor (security-tradeoff)
hhvm.error_handling.call_user_handler_on_fatals = true ; <=> enable the error handler of ILIAS
hhvm.log.runtime_error_reporting_level = 22519 ; <=> corresponds to "error_reporting" in PHP
; 22517 = E_ALL & ~E_NOTICE & ~E_STRICT & ~E_DEPRECATED & ~E_WARNING
; 22519 = E_ALL & ~E_NOTICE & ~E_STRICT & ~E_DEPRECATED
; 22527 = E_ALL & ~E_DEPRECATED & ~E_STRICT
; 8191 = E_ALL

; Developer settings
hhvm.debug.server_error_message = true ; <=> corresponds to "display_errors" in PHP - set it to 'true' on test systems
xdebug.enable=1
xdebug.remote_enable=1
xdebug.idekey="PHPSTORM"
xdebug.remote_host="localhost"
xdebug.remote_port=9000
xdebug.remote_handler = dbgp
xdebug.remote_mode = req
xdebug.profiler_enable = 0
xdebug.profiler_enable_trigger = 1
xdebug.profiler_output_dir = "/var/log/xdebug"

hhvm_server.ini

; /etc/hhvm/server.ini

; php options
pid = /var/run/hhvm/pid

; hhvm specific
hhvm.server.file_socket = /var/run/hhvm/sock ; a local UNIX-Socket has less overhead than using TCP
; hhvm.server.port = 9000
hhvm.server.type = fastcgi
hhvm.server.default_document = index.php
hhvm.log.use_log_file = true
hhvm.log.file = /var/log/hhvm/error.log
hhvm.repo.central.path = /var/run/hhvm/hhvm.hhbc

; RepoAuthoritative Mode
;  (support in ILIAS trunk is only experimental)
;  requires precompiled bytecode repository which
;  should be kept separate from standard repository
; hhvm.repo.authoritative = true
; hhvm.repo.central.path = /var/run/hhvm/precompiled/hhvm.hhbc

nginx_hhvm.conf

# /etc/nginx/hhvm.conf

# (!) changed fastcgi_pass from TCP to unix-socket

location ~ \.(hh|php)$ {
    fastcgi_keep_conn on;
    fastcgi_pass   unix:/var/run/hhvm/sock;
    fastcgi_index  index.php;
    fastcgi_param  SCRIPT_FILENAME $document_root$fastcgi_script_name;
    include        fastcgi_params;
}

nginx_server

# /etc/nginx/sites-available/default

##
# You should look at the following URL's in order to grasp a solid understanding
# of Nginx configuration files in order to fully unleash the power of Nginx.
# http://wiki.nginx.org/Pitfalls
# http://wiki.nginx.org/QuickStart
# http://wiki.nginx.org/Configuration
#
# Generally, you will want to move this file somewhere, and start with a clean
# file but keep this around for reference. Or just disable in sites-enabled.
#
# Please see /usr/share/doc/nginx-doc/examples/ for more detailed examples.
##

###########################################
# /www/pub - with dual setup (PHP + HHVM) #
###########################################

# localhost:88 -> HHVM
server {
    listen 88 default_server;
    listen [::]:88 default_server ipv6only=on;
    server_name localhost;

    root /www/pub;
    index index.php index.html index.htm;

    location / {
        # First attempt to serve request as file, then
        # as directory, then fall back to displaying a 404.
        try_files $uri $uri/ =404;
    }

    include hhvm.conf;
}

# localhost:80 -> PHP
server {
    listen 80 default_server;
    listen [::]:80 default_server ipv6only=on;
    server_name localhost;

    root /www/pub;
    index index.php index.html index.htm;

    location / {
        # First attempt to serve request as file, then
        # as directory, then fall back to displaying a 404.
        try_files $uri $uri/ =404;
    }


    location ~ \.php$ {
        fastcgi_keep_conn on;
        # fastcgi_pass   127.0.0.1:9000;
        fastcgi_pass unix:/var/run/php5-fpm.sock;
        fastcgi_index  index.php;
        fastcgi_param  SCRIPT_FILENAME $document_root$fastcgi_script_name;
        include        fastcgi_params;


        # proxy_connect_timeout  600s;
        # proxy_send_timeout  600s;
        # proxy_read_timeout  600s;
        fastcgi_send_timeout 600s;
        fastcgi_read_timeout 600s;

        # fastcgi_split_path_info ^(.+\.php)(/.+)$;
        # NOTE: You should have "cgi.fix_pathinfo = 0;" in php.ini
    }
}