Changing the HTTP port

By default, Jetty will be started on port 8080, but this can be changed if there is any conflict. To do so either:

Also, the stop port is set by the environment variable JETTY_STOPPORT and defaults to 8079. To change this either update the value of the variable in the shell script or pass the new port as the second argument for the script when running it. The scripts stop_examine.[bat/sh] can be used to stop a remote running server instance if access to the console where it was started is not available