From affc41ddf53b787b188d7e07a2c418c79123e1ce Mon Sep 17 00:00:00 2001 From: Greg Wilkins Date: Fri, 10 May 2013 19:47:01 +1000 Subject: [PATCH] fixed comment --- jetty-distribution/src/main/resources/start.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jetty-distribution/src/main/resources/start.ini b/jetty-distribution/src/main/resources/start.ini index fdd010282f0..3d7646db818 100644 --- a/jetty-distribution/src/main/resources/start.ini +++ b/jetty-distribution/src/main/resources/start.ini @@ -152,7 +152,7 @@ etc/jetty-http.xml #=========================================================== # HTTPS Connector -# Must be used with 200-ssl.ini +# Must be used with jetty-ssl.xml #----------------------------------------------------------- # jetty.https.port=8443 # etc/jetty-https.xml