Madhura Bhave 7efbedc0dc Use new configuration properties in devtools ...

Update `spring-boot-devtools` to use the new configuration properties
support.

See gh-9000

2017-04-27 13:59:25 -07:00

..

java/org/springframework/boot/devtools

Use new configuration properties in devtools

2017-04-27 13:59:25 -07:00

resources

Call context.close() rather than shutdown hook in DevTools restart

2016-02-12 15:12:01 +00:00