diff --git a/src/main/java/cz/kamma/kfmanager/service/FileOperations.java b/src/main/java/cz/kamma/kfmanager/service/FileOperations.java index 2d81ab3..b96dbdc 100644 --- a/src/main/java/cz/kamma/kfmanager/service/FileOperations.java +++ b/src/main/java/cz/kamma/kfmanager/service/FileOperations.java @@ -793,14 +793,14 @@ public class FileOperations { private static boolean isArchiveFile(File f) { if (f == null) return false; String n = f.getName().toLowerCase(); - return n.endsWith(".zip") || n.endsWith(".jar") || n.endsWith(".tar") || n.endsWith(".tar.gz") || n.endsWith(".tgz") || n.endsWith(".7z") || n.endsWith(".rar"); + return n.endsWith(".war") || n.endsWith(".zip") || n.endsWith(".jar") || n.endsWith(".tar") || n.endsWith(".tar.gz") || n.endsWith(".tgz") || n.endsWith(".7z") || n.endsWith(".rar"); } private static void searchInArchiveCombined(File archive, String patternLower, Pattern filenameRegex, Pattern contentPattern, SearchCallback callback) { if (callback != null && callback.isCancelled()) return; String name = archive.getName().toLowerCase(); try { - if (name.endsWith(".zip") || name.endsWith(".jar")) { + if (name.endsWith(".zip") || name.endsWith(".jar") || name.endsWith(".war")) { try (ZipInputStream zis = new ZipInputStream(new FileInputStream(archive))) { ZipEntry entry; while ((entry = zis.getNextEntry()) != null) { diff --git a/src/main/java/cz/kamma/kfmanager/ui/FilePanelTab.java b/src/main/java/cz/kamma/kfmanager/ui/FilePanelTab.java index ca332f2..e735031 100644 --- a/src/main/java/cz/kamma/kfmanager/ui/FilePanelTab.java +++ b/src/main/java/cz/kamma/kfmanager/ui/FilePanelTab.java @@ -1244,7 +1244,7 @@ public class FilePanelTab extends JPanel { private boolean isArchiveFile(File f) { if (f == null) return false; String n = f.getName().toLowerCase(); - return n.endsWith(".zip") || n.endsWith(".jar") || n.endsWith(".tar") || n.endsWith(".tar.gz") || n.endsWith(".tgz") || n.endsWith(".7z") || n.endsWith(".rar"); + return n.endsWith(".war") || n.endsWith(".zip") || n.endsWith(".jar") || n.endsWith(".tar") || n.endsWith(".tar.gz") || n.endsWith(".tgz") || n.endsWith(".7z") || n.endsWith(".rar"); } private Path extractArchiveToTemp(File archive) { @@ -1253,7 +1253,7 @@ public class FilePanelTab extends JPanel { try { Path tempDir = Files.createTempDirectory("kfmanager-archive-"); - if (name.endsWith(".zip") || name.endsWith(".jar")) { + if (name.endsWith(".zip") || name.endsWith(".jar") || name.endsWith(".war")) { extractZip(archive, tempDir); } else if (name.endsWith(".tar.gz") || name.endsWith(".tgz")) { extractTarGz(archive, tempDir);