mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-04 12:59:30 +00:00
399463 add start.ini documentation for OPTIONS
This commit is contained in:
parent
246088c2ee
commit
330845b3ce
@ -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
|
||||
#-----------------------------------------------------------
|
||||
|
Loading…
x
Reference in New Issue
Block a user