diff options
Diffstat (limited to 'development/hhvm/etc/server.ini')
| -rw-r--r-- | development/hhvm/etc/server.ini | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/development/hhvm/etc/server.ini b/development/hhvm/etc/server.ini new file mode 100644 index 0000000000..18f4643f3a --- /dev/null +++ b/development/hhvm/etc/server.ini @@ -0,0 +1,9 @@ +pid = /var/run/hhvm/pid + +hhvm.server.file_socket = /var/run/hhvm/sock +;hhvm.server.port = 9000 +hhvm.server.type = fastcgi +hhvm.server.default_document = index.hh +hhvm.log.use_log_file = true +hhvm.log.file = /var/log/hhvm/error.log +hhvm.repo.central.path = /var/run/hhvm/hhvm.hhbc |