diff options
Diffstat (limited to 'jetty-start/src/test/resources/jetty.home/start.ini')
-rw-r--r-- | jetty-start/src/test/resources/jetty.home/start.ini | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jetty-start/src/test/resources/jetty.home/start.ini b/jetty-start/src/test/resources/jetty.home/start.ini index 65c0816fbb..9dac7b8b85 100644 --- a/jetty-start/src/test/resources/jetty.home/start.ini +++ b/jetty-start/src/test/resources/jetty.home/start.ini @@ -45,6 +45,16 @@ # These control what classes are on the classpath # for a full listing do # java -jar start.jar --list-options +# +# Enable classpath OPTIONS. Each options represents one or more jars +# to be added to the classpath. The options are defined in +# the start.config file and can be listed with --help or --list-options. +# By convention, options starting with a capital letter (eg Server) +# are aggregations of other available options. +# Directories in $JETTY_HOME/lib can be added as dynamic OPTIONS by +# convention. E.g. put some logging jars in $JETTY_HOME/lib/logging +# and make them available in the classpath by adding a "logging" OPTION +# like so: OPTIONS=Server,jsp,logging #----------------------------------------------------------- OPTIONS=Server,jsp,resources,websocket,ext #----------------------------------------------------------- |