jetty-9 added properties to start.ini

2013-02-01 12:08:10 +11:00 · 2013-02-01 12:08:10 +11:00 · 7b7a6dc03a
parent 29f155143e
commit 7b7a6dc03a
1 changed files with 6 additions and 0 deletions
--- a/jetty-distribution/src/main/resources/start.ini
+++ b/jetty-distribution/src/main/resources/start.ini
@ -52,7 +52,13 @@
 # Properties, unlike SystemProperties, do not need --exec
 # to be specified.
 #-----------------------------------------------------------
+# jetty.home=.
+# jetty.logs=./logs
+# jetty.host=0.0.0.0
 # jetty.port=8080
+# jetty.tls.port=8443
+# jetty.jmxrmihost=localhost
+# jetty.jmxrmiport=1099
 #===========================================================