import java.nio.file.PathMatcher;
import java.nio.file.Paths;
import java.nio.file.SimpleFileVisitor;
+import java.nio.file.StandardCopyOption;
import java.nio.file.attribute.BasicFileAttributes;
import java.util.ArrayList;
import java.util.Arrays;
if (uninstall) { // uninstall
if (Files.exists(targetJarP)) {
Files.delete(targetJarP);
- Path targetParent = targetJarP.getParent();
- deleteEmptyParents(targetA2, targetParent);
logger.log(DEBUG, "Removed " + targetJarP);
count++;
}
+ Path targetParent = targetJarP.getParent();
+ deleteEmptyParents(targetA2, targetParent);
} else { // install
Files.createDirectories(targetJarP.getParent());
boolean update = Files.exists(targetJarP);
- Files.copy(jarP, targetJarP);
+ Files.copy(jarP, targetJarP, StandardCopyOption.REPLACE_EXISTING);
logger.log(DEBUG, (update ? "Updated " : "Installed ") + targetJarP);
count++;
}
void deleteEmptyParents(Path targetA2, Path targetParent) throws IOException {
if (!Files.isDirectory(targetParent))
throw new IllegalArgumentException(targetParent + " must be a directory");
+ boolean isA2target = Files.isSameFile(targetA2, targetParent);
if (!Files.list(targetParent).iterator().hasNext()) {
Files.delete(targetParent);
- if (Files.isSameFile(targetA2, targetParent))
+ if (isA2target)
return;// stop after deleting A2 base
deleteEmptyParents(targetA2, targetParent.getParent());
}
// Add all resources from src/
Files.walkFileTree(srcP, new SimpleFileVisitor<Path>() {
+ @Override
+ public FileVisitResult preVisitDirectory(Path dir, BasicFileAttributes attrs) throws IOException {
+ // skip directories ending with .js
+ // TODO find something more robust?
+ if (dir.getFileName().toString().endsWith(".js"))
+ return FileVisitResult.SKIP_SUBTREE;
+ return super.preVisitDirectory(dir, attrs);
+ }
+
@Override
public FileVisitResult visitFile(Path file, BasicFileAttributes attrs) throws IOException {
if (file.getFileName().toString().endsWith(".java")