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
parent 7bcd6567ba
commit d0349879c3
7 changed files with 84 additions and 19 deletions
--- a/spring-boot-samples/spring-boot-sample-devtools/src/main/resources/application.properties
+++ b/spring-boot-samples/spring-boot-sample-devtools/src/main/resources/application.properties
@@ -1,2 +1,3 @@
 spring.devtools.remote.secret=secret
+# spring.devtools.restart.poll-interval=10000
 # spring.devtools.restart.trigger-file=.reloadtrigger