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

..

main

Use persistent servlet session with DevTools

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

test

Polish

2015-06-29 06:15:09 -07:00