diff options
Diffstat (limited to 'development/hhvm/etc/server.ini')
| -rw-r--r-- | development/hhvm/etc/server.ini | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/development/hhvm/etc/server.ini b/development/hhvm/etc/server.ini deleted file mode 100644 index ce240979d4..0000000000 --- a/development/hhvm/etc/server.ini +++ /dev/null @@ -1,9 +0,0 @@ -pid = /var/run/hhvm/pid - -;hhvm.server.file_socket = /var/run/hhvm/sock -hhvm.server.port = 9000 -hhvm.server.type = proxygen -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 |