diff options
Diffstat (limited to 'jetty-start/src/main/resources/org/eclipse')
| -rw-r--r-- | jetty-start/src/main/resources/org/eclipse/jetty/start/usage.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jetty-start/src/main/resources/org/eclipse/jetty/start/usage.txt b/jetty-start/src/main/resources/org/eclipse/jetty/start/usage.txt index 0817b46738..eacb16b620 100644 --- a/jetty-start/src/main/resources/org/eclipse/jetty/start/usage.txt +++ b/jetty-start/src/main/resources/org/eclipse/jetty/start/usage.txt @@ -108,6 +108,10 @@ Startup / Shutdown Command Line: Properties: + STOP.HOST=[string] + The host to use to stop the running Jetty server (defaults to 127.0.0.1) + Required along with STOP.PORT if you want to use the --stop option above. + STOP.PORT=[number] The port to use to stop the running Jetty server. Required along with STOP.KEY if you want to use the --stop option above. |