hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6857 from erik-krogh/fixPipes

Browse Source 
JS: skip pipes and other special files when determining which files to extract
This commit is contained in:
Erik Krogh Kristensen
2021-10-26 13:59:40 +02:00
committed by GitHub
parent 4a58349fcd 7d4266aea7
commit 090fb2df10
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
View File

@@ -991,7 +991,7 @@ protected DependencyInstallationResult preparePackagesAndDependencies(Set<Path>
@Override
public FileVisitResult visitFile(Path file, BasicFileAttributes attrs)
throws IOException {
if (attrs.isSymbolicLink()) return FileVisitResult.SKIP_SUBTREE;
if (!attrs.isRegularFile() && !attrs.isDirectory()) return FileVisitResult.SKIP_SUBTREE;
if (!file.equals(currentRoot[0]) && excludes.contains(file))
return FileVisitResult.SKIP_SUBTREE;