![]() Version: 9.3.11.M0 |
private support for your internal/customer projects ... custom extensions and distributions ... versioned snapshots for indefinite support ... scalability guidance for your apps and Ajax/Comet projects ... development services for sponsored feature development
jetty.xml is the default configuration file for Jetty, typically located at ` $JETTY_HOME/etc/jetty.xml`. Usually the jetty.xml configures:
Not all Jetty features are configured in jetty.xml.
There are several optional configuration files that share the same format as jetty.xml and, if specified, concatenate to it.
These configuration files are also stored in $JETTY_HOME/etc/, and examples of them are in Github Repository.
The selection of which configuration files to use is controlled by ??? and the process of merging configuration is described in Jetty XML Usage.
jetty.xml configures an instance of the Jetty org.eclipse.jetty.server.Server.
<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/configure.dtd">
<Configure id="Server" class="org.eclipse.jetty.server.Server">
...
</Configure>$JETTY_HOME/etc contains the default jetty.xml, as well as other sample configuration files (jetty-*.xml) which can be passed to the server via the command line.
jetty.xml –configuration file for configuring the entire server