spring-boot

Author	SHA1	Message	Date
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	9 years ago
Phillip Webb	1ce617f1ae	Polish sample package names	10 years ago
Phillip Webb	6b92160295	Enforce Java 8 for compiling	10 years ago
Phillip Webb	dc071fa246	Restore remote support in devtools-sample	10 years ago
Phillip Webb	b57802190d	Polish	10 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	10 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	10 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	10 years ago
Phillip Webb	983484f429	Rename spring-boot-developer-tools -> devtools Fixes gh-3099	10 years ago

1 2