root
/
spring-boot
mirror of https://github.com/spring-projects/spring-boot.git
1
0
Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

Fix meta-data for spring.devtools.remote 

See gh-3086
This commit is contained in:
Stephane Nicoll 2015-06-09 14:01:56 +02:00
parent bdfe5d19a5
commit 6bc4df5690
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spring-boot-devtools/src/main/java/org/springframework/boot/devtools/autoconfigure/DevToolsProperties.java
View File

@ -17,11 +17,13 @@
package org.springframework.boot.devtools.autoconfigure; package org.springframework.boot.devtools.autoconfigure;
import org.springframework.boot.context.properties.ConfigurationProperties; import org.springframework.boot.context.properties.ConfigurationProperties;
import org.springframework.boot.context.properties.NestedConfigurationProperty;
/** /**
* Configuration properties for developer tools. * Configuration properties for developer tools.
* *
* @author Phillip Webb * @author Phillip Webb
* @author Stephane Nicoll
* @since 1.3.0 * @since 1.3.0
*/ */
@ConfigurationProperties(prefix = "spring.devtools") @ConfigurationProperties(prefix = "spring.devtools")
@ -37,6 +39,7 @@ public class DevToolsProperties {
private Livereload livereload = new Livereload(); private Livereload livereload = new Livereload();
@NestedConfigurationProperty
private RemoteDevToolsProperties remote = new RemoteDevToolsProperties(); private RemoteDevToolsProperties remote = new RemoteDevToolsProperties();
public Restart getRestart() { public Restart getRestart() {