velocity.ini [PHPServerSettings]
The block [PHPServerSettings] of settings/velocity.ini, with 8 setting(s).
Never edit settings/velocity.ini itself: an update replaces it. Put the settings you change in an override, which wins over the shipped file:
settings/override/velocity.ini.append.phpfor every siteaccess,settings/siteaccess/<siteaccess>/velocity.ini.append.phpfor one siteaccess,extension/<extension>/settings/velocity.ini.append.phpin an extension (read when the extension is active).
Port
The php engine (ServerSettings Engine=php, the shipped default, or
--engine=php): the development engine, PHP's built-in web server,
`php -S Host:Port -t DocumentRoot bin/php/velocity-router.php`.The PHP manual calls it a development server, and it is one: plain HTTP
only, no reload (graceful restarts it), files sent without a cache lifetime,
the request log on its console (LogFile below). Workers becomes
PHP_CLI_SERVER_WORKERS, so that many requests are served at once (Linux
only; elsewhere one at a time). It runs with this PHP's php.ini and
extensions plus [PHPSettings] IniOptions[]; keep Host at 127.0.0.1.
This engine's own address. Empty = the [ServerSettings] value; set, so that
it can run beside the other engines. Workers becomes PHP_CLI_SERVER_WORKERS.
Default: 8087.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
Port=8087
*/ ?>Host
Default: empty.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
Host=
*/ ?>Workers
Default: empty.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
Workers=
*/ ?>DocumentRoot
Default: empty.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
DocumentRoot=
*/ ?>PHPBinary
Another PHP binary than the one running exp:velocity. Empty = the same.
Default: empty.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
PHPBinary=
*/ ?>PidFile
The built-in server prints each request and PHP's errors to its console;
this is where that goes -- its access and error log in one.
Default: var/vc/php/run/server.pid.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
PidFile=var/vc/php/run/server.pid
*/ ?>LogFile
Default: var/vc/php/log/server.log.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
LogFile=var/vc/php/log/server.log
*/ ?>ExtraOptions
Extra arguments for php, appended after the router, verbatim.
Default: an empty list.
# settings/override/velocity.ini.append.php
[PHPServerSettings]
# an empty "ExtraOptions[]" first replaces the shipped list; without it the items are added
ExtraOptions[]
*/ ?>Related
Generated by ./console exp:help:examples from settings/velocity.ini. Do not edit this page: change the source and generate again (how). Free documentation: GFDL 1.3 or later.