From 26d2f339fe55b228e64918663623456f22a2882d Mon Sep 17 00:00:00 2001
From: Radek Davidek <rdavidek@trask.cz>
Date: Wed, 28 Jan 2026 14:30:45 +0100
Subject: [PATCH] added support for war archive

---
 src/main/java/cz/kamma/kfmanager/service/FileOperations.java | 4 ++--
 src/main/java/cz/kamma/kfmanager/ui/FilePanelTab.java        | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

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);