Skip to content

Instantly share code, notes, and snippets.

@guipmourao

guipmourao/server.ini

Last active August 29, 2015 14:17
Show Gist options
  • Save guipmourao/ce97c8726b8598c7310d to your computer and use it in GitHub Desktop.
Save guipmourao/ce97c8726b8598c7310d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
server.ini
; php options
pid = /var/run/hhvm/pid
; hhvm specific
hhvm.server.file_socket = /var/run/hhvm/hhvm.sock
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.log.header = true
hhvm.repo.central.path = /var/run/hhvm/hhvm.hhbc
hhvm.server.file_socket=/var/run/hhvm/hhvm.sock
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment