Phillip Webb b7e9f805c9 Set ignoreUnknownFields=true on ServerProperties ...

Update ServerProperties so that unknown SERVER_* environment properties
do not cause startup failures.

Fixes gh-3903

2015-09-10 14:49:41 -07:00

..

src

Set ignoreUnknownFields=true on ServerProperties

2015-09-10 14:49:41 -07:00

pom.xml

Next development version

2015-07-01 22:48:01 -07:00