Phillip Webb d2133687b0 Use persistent servlet session with DevTools ...

Set `server.session.persistent=true` when running DevTools to ensure
persistent sessions are used.

Fixes gh-3530

2015-07-16 17:29:20 -07:00

..

src/main

Use persistent servlet session with DevTools

2015-07-16 17:29:20 -07:00

pom.xml

Rename spring-boot-developer-tools -> devtools

2015-06-04 13:50:56 -07:00