Andy Wilkinson
89df4946f7
Use a context-relative URL for Dev Tools sample’s CSS
10 years ago
Phillip Webb
c9fb9916b8
Reformat code using Eclipse Mars
10 years ago
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
11 years ago
Phillip Webb
1ce617f1ae
Polish sample package names
11 years ago
Phillip Webb
6b92160295
Enforce Java 8 for compiling
11 years ago
Phillip Webb
dc071fa246
Restore remote support in devtools-sample
11 years ago
Phillip Webb
b57802190d
Polish
11 years ago
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
11 years ago
Phillip Webb
d0349879c3
Allow custom restart pollInterval and quietPeriod
...
Allow the pollInterval and the quietPeriod of the filewatcher to be
configured.
Fixes gh-3139
11 years ago
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
11 years ago
Phillip Webb
983484f429
Rename spring-boot-developer-tools -> devtools
...
Fixes gh-3099
11 years ago