Andy Wilkinson 315e63b017 Allow default DevTools properties to be overridden ...

Previously the default DevTools property source was added in first place
to the environment’s property sources in an unordered environment
post-processor. This made it difficult to override them.

This commit updates the post-processor to be ordered with lowest
precedence and to add the property source in last place. This should
allow any other property sources and to override the defaults.

Closes gh-3851

2015-10-02 16:38:45 +01:00

..

src

Allow default DevTools properties to be overridden

2015-10-02 16:38:45 +01:00

pom.xml

Allow anonymous access to devtools remote server

2015-09-03 17:36:22 +01:00