EarFileManager.java

package org.objectweb.jonas_lib.deployment.work;

import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.net.URL;
import java.util.Enumeration;
import java.util.jar.JarEntry;
import java.util.jar.JarFile;

public class EarFileManager extends FileManager {

    private EarFileManager() {
        super();
    }

    protected static boolean isUnpackedEar(URL urlFileName, URL urlDirName) throws FileManagerException {

        File urlFile = new File(urlFileName.getFile());

        if (!urlFile.exists()) {
            throw new FileManagerException("File " + urlFileName + "doesn't exist");
        }
        String timeStampDir = fileToTimeStampDir(urlFileName);

        File f = new File(urlDirName.getPath() + File.separator + timeStampDir);

        return f.exists();
    }


    public static URL unpackEar(URL urlFileName, URL urlDirName) throws FileManagerException {
        return unpackEar(urlFileName, urlDirName, true);
    }

    public static URL unpackEar(URL urlFileName, URL urlDirName, boolean useTimeStamp) throws FileManagerException {

        // Check protocol
        if ((!urlFileName.getProtocol().equalsIgnoreCase("file"))
                || (!urlDirName.getProtocol().equalsIgnoreCase("file"))) {
            throw new FileManagerException("Only the file:/ URL can be used");
        }

        // if ear is exploded
        if (new File(urlFileName.getFile()).isDirectory()) {
            return urlFileName;
        }

        // Get the dirName
        String timeStampDir = fileToTimeStampDir(urlFileName);

        boolean unPacked = false;
        if (useTimeStamp) {
            unPacked = isUnpackedEar(urlFileName, urlDirName);
        }

        // EAR file and directory
        JarFile earFile = null;
        File parentDirectoryFile = null;
        URL parentDirectoryUrl = null;
        try {
            earFile = new JarFile(urlFileName.getFile());
            if (useTimeStamp) {
                parentDirectoryFile = new File(urlDirName.getPath() + File.separator + timeStampDir);
            } else {
                String stReturn = new File(urlFileName.getFile()).getName();
                String userName = System.getProperty("user.name", "default");
                //Remove extension .ear
                int lastIndex = stReturn.lastIndexOf(".");
                if (lastIndex == -1) {
                    throw new FileManagerException("The specified file " + urlFileName.getFile()
                            + " is not a file with the format XXX.ear.");
                }
                stReturn = stReturn.substring(0, lastIndex);

                parentDirectoryFile = new File(urlDirName.getPath() + File.separator + userName + "_" + stReturn);
            }
            //Protocol file: no .toURL() method because we have a / at the end
            // of the url otherwise
            parentDirectoryUrl = new URL("file:" + parentDirectoryFile.getPath());
        } catch (IOException e) {
            throw new FileManagerException("Error while creating file for reading the ear file :" + urlFileName
                    + ": " + e.getMessage());
        }

        //Nothing to do if it's unpack
        if (unPacked) {
            return parentDirectoryUrl;
        }

        JarEntry earEntry = null;
        try {
            try {
                //get entries of the EAR file
                for (Enumeration earEntries = earFile.entries(); earEntries.hasMoreElements();) {
                    earEntry = (JarEntry) earEntries.nextElement();

                    //File entry
                    File earEntryFile = new File(parentDirectoryFile, earEntry.getName());

                    //Create directory
                    if (earEntry.isDirectory()) {
                        if (!earEntryFile.exists()) {
                            //create parent directories (with mkdirs)
                            if (!earEntryFile.mkdirs()) {
                                String err = "Can not create directory " + earEntryFile + ", Check the write access.";
                                throw new FileManagerException(err);
                            }
                        }
                        continue;
                    }

                    //If it's a file, we must extract the file
                    //Ensure that the directory exists.
                    earEntryFile.getParentFile().mkdirs();

                    InputStream is = null;
                    try {
                        //get the input stream
                        is = earFile.getInputStream(earEntry);

                        //Dump to the file
                        dump(is, earEntryFile);
                    } finally {
                        is.close();
                    }
                }
            } finally {
                earFile.close();
            }
        } catch (IOException e) {
            throw new FileManagerException("Error while uncompressing entry " + earEntry + ": " + e.getMessage());
        }
        return parentDirectoryUrl;
    }

}

---