d2133687b0
Use persistent servlet session with DevTools
...
Set `server.session.persistent=true` when running DevTools to ensure
persistent sessions are used.
Fixes gh-3530
9 years ago
1ce617f1ae
Polish sample package names
10 years ago
6b92160295
Enforce Java 8 for compiling
10 years ago
dc071fa246
Restore remote support in devtools-sample
10 years ago
b57802190d
Polish
10 years ago
9929e39124
Allow devtools properties in `user.home`
...
Support loading a `.spring-boot-devtools.properties` file from the
users home folder. The property file can be used to customize settings
that make sense on a per-user basis, but might not want to be checked
into the project.
Fixes gh-3151
10 years ago
d0349879c3
Allow custom restart pollInterval and quietPeriod
...
Allow the pollInterval and the quietPeriod of the filewatcher to be
configured.
Fixes gh-3139
10 years ago
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
10 years ago
983484f429
Rename spring-boot-developer-tools -> devtools
...
Fixes gh-3099
10 years ago
Phillip Webb