#Configuration options for jetty server

JETTY_HOST=localhost
JETTY_PORT=8080
# port to listen on to stop the server
STOP_PORT=8079
# "password" used on the stop port to verify that the server should be stopped
STOP_KEY=secret
# Set this value to 1 and configure the jetty-setuid.xml to have the server run as an unprivilaged user
USE_SETUID=0