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

Polish

This commit is contained in:
Andy Wilkinson 2020-10-27 14:58:48 +00:00
parent 003ad08cbb
commit 9854e3019b
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spring-boot-project/spring-boot-devtools/src/main/java/org/springframework/boot/devtools/restart/server/DefaultSourceDirectoryUrlFilter.java
View File

@ -68,12 +68,9 @@ public class DefaultSourceDirectoryUrlFilter implements SourceDirectoryUrlFilter
private boolean isDirectoryMatch(String directory, String jarName) {
if (!jarName.startsWith(directory)) {
System.out.println(jarName + " does not start with " + directory);
return false;
}
System.out.println(jarName + " starts with " + directory);
String version = jarName.substring(directory.length());
System.out.println("Checking version: " + version);
return version.isEmpty() || VERSION_PATTERN.matcher(version).matches();
}