Re: [jetty-user] Problem starting Jetty 7 with specific port

Sorry for slow response.

yes this is a problem.  We are working on the best fix (which may just
be to move back to system properties).

You can follow the issue on https://bugs.eclipse.org/bugs/show_bug.cgi?id=323985

cheers


On 7 August 2010 10:10, hezjing <[email protected]> wrote:
> Hi
> I'm using jetty-distribution-7.1.6.v20100715
>
> I think the startup command java -Djetty.port=8888 -jar start.jar will not
> work because the jetty.xml contains these lines:
> ...
> <Set name="port"><Property name="jetty.port" default="8080"/></Set>
> ...
> It should be <SystemProperty> instead of <Property>, right?
> Otherwise, the
> documentation http://wiki.eclipse.org/Jetty/Reference/jetty.xml_usage should
> be corrected.
>
> --
>
> Hez
>

---------------------------------------------------------------------
To unsubscribe from this list, please visit:

    http://xircles.codehaus.org/manage_email