Skip to content

Commit 090fb2d

Browse files
authored
Merge pull request #6857 from erik-krogh/fixPipes
JS: skip pipes and other special files when determining which files to extract
2 parents 4a58349 + 7d4266a commit 090fb2d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -991,7 +991,7 @@ private boolean isFileIncluded(Path file) {
991991
@Override
992992
public FileVisitResult visitFile(Path file, BasicFileAttributes attrs)
993993
throws IOException {
994-
if (attrs.isSymbolicLink()) return FileVisitResult.SKIP_SUBTREE;
994+
if (!attrs.isRegularFile() && !attrs.isDirectory()) return FileVisitResult.SKIP_SUBTREE;
995995

996996
if (!file.equals(currentRoot[0]) && excludes.contains(file))
997997
return FileVisitResult.SKIP_SUBTREE;

0 commit comments

Comments
 (0)