spring-boot

Author	SHA1	Message	Date
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