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
1ce617f1ae
Polish sample package names
2015-06-23 00:47:12 -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
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
2015-06-08 23:46:24 -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
