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 |
|
Phillip Webb
|
6b92160295
|
Enforce Java 8 for compiling
|
2015-06-11 22:45:56 -07:00 |
|
Phillip Webb
|
dc071fa246
|
Restore remote support in devtools-sample
|
2015-06-11 21:46:38 -07:00 |
|
Phillip Webb
|
b57802190d
|
Polish
|
2015-06-10 13:09:41 -07:00 |
|
Phillip Webb
|
d0349879c3
|
Allow custom restart pollInterval and quietPeriod
Allow the pollInterval and the quietPeriod of the filewatcher to be
configured.
Fixes gh-3139
|
2015-06-08 22:51:50 -07:00 |
|
Phillip Webb
|
7bcd6567ba
|
Allow reload to use a trigger file
Update `FileSystemWatcher` to support the concept of a "trigger file"
which could be written by an IDE when a reload needs to occur.
Fixes gh-3157
|
2015-06-08 22:14:48 -07:00 |
|
Phillip Webb
|
983484f429
|
Rename spring-boot-developer-tools -> devtools
Fixes gh-3099
|
2015-06-04 13:50:56 -07:00 |
|