use proper path construction

erik-krogh · asgerf · web-flow · commit d0cf709d2e6e · 2022-11-29T21:30:50.000+01:00
Co-authored-by: Asger F &lt;asgerf@github.com&gt;
diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
@@ -461,7 +461,7 @@ public int run() throws IOException {
         warn("No JavaScript or TypeScript code found.");
       }
       // ensuring that the finalize steps detects that no code was seen. 
-      Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase() + "/src");
+      Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase(), "src");
       // check that the srcFolder is empty
       if (Files.list(srcFolder).count() == 0) {
         // Non-recursive delete because "src/" should be empty.

Original file line number	Diff line number	Diff line change
`@@ -461,7 +461,7 @@ public int run() throws IOException {`
`461`	`461`	`warn("No JavaScript or TypeScript code found.");`
`462`	`462`	`}`
`463`	`463`	`// ensuring that the finalize steps detects that no code was seen.`
`464`		`- Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase() + "/src");`
	`464`	`+ Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase(), "src");`
`465`	`465`	`// check that the srcFolder is empty`
`466`	`466`	`if (Files.list(srcFolder).count() == 0) {`
`467`	`467`	`// Non-recursive delete because "src/" should be empty.`