Hi all,
I noticed today when I build the release that stopping geoserver did not
work. From what I can tell with the new version of jetty that we bundle
you need to supply a port and a special key when starting the server
that it will then listen on in order to shut down.
I could not find a place in the jetty configuration to place this, it
seems that all the docs and examples i could find pass it in a system
parameter on the command line like so:
java -DSTOP.PORT=8079 -DSTOP.KEY=somekey <rest of geoserver params> -jar
start.jar
And stopping it then becomes:
java -DSTOP.PORT=8079 -DSTOP.KEY=somkey -jar start.jar --stop
And so i have added this to the startup scripts. The downside is that in
order for the user to change this port they will have to do so directly
in the startup / shutdown scripts which isn;t all that nice. We could
perhaps use environment variables to make this nicer, or perhaps i am
missing the place in the jetty.xml where this can go.
But for this release i have just used the port 8079 and the key
"geoserver". We can revisit this for the next release.
-Justin
--
Justin Deoliveira
The Open Planning Project
jdeolive@anonymised.com