Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 317604

Summary: jetty.xml's <Property> does not use the default value attribute as a value.
Product: [RT] Jetty Reporter: Hugues Malphettes <hmalphettes>
Component: otherAssignee: Project Inbox <jetty-inbox>
Status: RESOLVED FIXED QA Contact:
Severity: major    
Priority: P3 CC: joakim.erdfelt
Version: 7.1.4   
Target Milestone: 7.1.x   
Hardware: All   
OS: All   
Whiteboard:
Attachments:
Description Flags
Proposed fix and one more assertion in the testunit to test it. none

Description Hugues Malphettes CLA 2010-06-22 11:19:56 EDT
<Property name="jetty.port" default="18080"/>
The default value will actually be: System.getProperty("18080").
According to http://wiki.eclipse.org/Jetty/Reference/jetty.xml_syntax#.3CProperty.3E, it should be 18080

The fix consists of changing one line inorg.eclipse.jetty.xml.XmlConfiguration#propertyObj
Comment 1 Hugues Malphettes CLA 2010-06-22 11:39:25 EDT
Created attachment 172432 [details]
Proposed fix and one more assertion in the testunit to test it.
Comment 2 Hugues Malphettes CLA 2010-06-22 12:33:58 EDT
Committed in revision 2037 for the next release after 7.1.4.