Hi Peter, None of the web descriptors (web-default.xml, web.xml, override-web.xml) are processed using property substitution as the idea is that they are all xml schema compliant with the web.xml schema.
The only xml files that are processed with substitutions are the jetty specific files, such as etc xml files and context xml files. You could maybe try defining your servlet in a context xml file instead. cheers Jan On 19 June 2015 at 06:52, Peter Boughton <[email protected]> wrote: > Hello, > > I would like to control the default servlet's useFileMappedBuffer > parameter via start.ini, so it can easily be enabled/disabled. > > I tried using Property and SystemProperty inside the param-value but > both seem to be evaluated as false. > > <servlet> > <servlet-name>default</servlet-name> > > <servlet-class>org.eclipse.jetty.servlet.DefaultServlet</servlet-class> > <init-param> > <param-name>useFileMappedBuffer</param-name> > <param-value><Property > name="default.useFileMappedBuffer" default="true"/></param-value> > </init-param> > <load-on-startup>0</load-on-startup> > </servlet> > > It's turned on with <param-value>true</param-value> so the configuration > is being picked up. > > Is there a way to make it configurable, or do I need to look at a > different solution. > > (The servlet definition is being included into a webapp context via > overrideDescriptor, so fallback plan is to control it via loading > either of two servlet config files, but would of course prefer not > having two otherwise identical files.) > > Using Jetty 9.3.0.v20150612 in a home/base configuration. > > > Thanks, > > Peter > _______________________________________________ > jetty-users mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visit > https://dev.eclipse.org/mailman/listinfo/jetty-users -- Jan Bartel <[email protected]> www.webtide.com 'Expert assistance from the creators of Jetty and CometD' _______________________________________________ jetty-users mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/jetty-users
