Version 11.1, August 2010

[GpsPrune.git] / tim / prune / load / FileLoader.java

diff --git a/tim/prune/load/FileLoader.java b/tim/prune/load/FileLoader.java
index 889f1d7933a6ec2357b07fd6c3b9b3ac3affebb9..5672c69fa9cc6052e4b303efb2ad28a252068cf0 100644 (file)
--- a/tim/prune/load/FileLoader.java
+++ b/tim/prune/load/FileLoader.java
@@ -6,7 +6,8 @@ import javax.swing.JFileChooser;
 import javax.swing.JFrame;
 
 import tim.prune.App;
-import tim.prune.Config;
+import tim.prune.config.Config;
+import tim.prune.load.xml.GzipFileLoader;
 import tim.prune.load.xml.XmlFileLoader;
 import tim.prune.load.xml.ZipFileLoader;
 
@@ -24,6 +25,7 @@ public class FileLoader
        private NmeaFileLoader _nmeaFileLoader = null;
        private XmlFileLoader _xmlFileLoader = null;
        private ZipFileLoader _zipFileLoader = null;
+       private GzipFileLoader _gzipFileLoader = null;
 
 
        /**
@@ -39,6 +41,7 @@ public class FileLoader
                _nmeaFileLoader = new NmeaFileLoader(inApp);
                _xmlFileLoader = new XmlFileLoader(inApp);
                _zipFileLoader = new ZipFileLoader(inApp, _xmlFileLoader);
+               _gzipFileLoader = new GzipFileLoader(inApp, _xmlFileLoader);
        }
 
 
@@ -104,8 +107,9 @@ public class FileLoader
                }
                // Check file type to see if it's xml or just normal text
                String fileExtension = inFile.getName().toLowerCase();
-               if (fileExtension.length() > 4)
-                       {fileExtension = fileExtension.substring(fileExtension.length() - 4);}
+               if (fileExtension.length() > 4) {
+                       fileExtension = fileExtension.substring(fileExtension.length() - 4);
+               }
                if (fileExtension.equals(".kml") || fileExtension.equals(".gpx")
                        || fileExtension.equals(".xml"))
                {
@@ -117,6 +121,11 @@ public class FileLoader
                        // Use zip loader for zipped kml (or zipped gpx)
                        _zipFileLoader.openFile(inFile);
                }
+               else if (fileExtension.endsWith(".gz") || fileExtension.equals("gzip"))
+               {
+                       // Use gzip loader for gzipped xml
+                       _gzipFileLoader.openFile(inFile);
+               }
                else if (fileExtension.equals("nmea"))
                {
                        _nmeaFileLoader.openFile(inFile);