root
/
spring-boot
mirror of https://github.com/spring-projects/spring-boot.git
1
0
Fork 0
Code Issues Actions 15 Packages Projects Releases Wiki Activity
spring-boot/spring-boot-devtools
History
Phillip Webb 221feac3ec User random server port in devtools tests 
Update `LocalDevToolsAutoConfigurationTests` to ensure that a random
server port is used rather than 8080.

Fixes gh-7268
See gh-7039
 		2016-11-04 12:24:50 -07:00
..
src User random server port in devtools tests 2016-11-04 12:24:50 -07:00
pom.xml Disable JspServlet's development mode by default 2016-10-20 21:02:21 +01:00