root
/
spring-boot
mirror of https://github.com/spring-projects/spring-boot.git
1
0
Fork 0
Code Issues Actions 16 Packages Projects Releases Wiki Activity
spring-boot/spring-boot-samples/spring-boot-sample-devtools
History
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