Sounds like the jetty container is using a sane default in the case of a misconfigured port:
Max port value (I think) is 2^16 - 1, or 65535. You want to set the port to 10,000, but have attempted to set it to 100,000. Best, Steve http://www.clemetparks.com/images/esig/cmp-ms-90x122.pngStephen Mather Geographic Information Systems (GIS) Manager (216) 635-3243 [email protected] <http://www.clemetparks.com/> clevelandmetroparks.com From: ??? [mailto:[email protected]] Sent: Wednesday, October 05, 2011 10:59 AM To: [email protected] Subject: [Geoserver-users] How to change port 8080? Hi there. I want to change port 8080.So I change the appropriate <jetty.port> element to the port 10000 ... <Set name="port"><SystemProperty name="jetty.port" default="100000"/></Set> ... I restart my computer. I start GeoServer I click GeoServer web Admin Page,and the port is still 8080,I find it no use to change the <jetty.port> How can I change port? Thank you in advance
<<image001.png>>
------------------------------------------------------------------------------ All the data continuously generated in your IT infrastructure contains a definitive record of customers, application performance, security threats, fraudulent activity and more. Splunk takes this data and makes sense of it. Business sense. IT sense. Common sense. http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________ Geoserver-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/geoserver-users
