Method copy

java/org/apache/catalina/startup/ExpandWar.java:233–276

Copy the specified file or directory to the destination. @param src File object representing the source @param dest File object representing the destination @return true if the copy was successful

(File src, File dest)

     * @return <code>true</code> if the copy was successful
     */
    public static boolean copy(File src, File dest) {

        boolean result = true;

        String[] files;
        if (src.isDirectory()) {
            files = src.list();
            result = dest.isDirectory() || dest.mkdir();
        } else {
            files = new String[1];
            files[0] = "";
        }
        if (files == null) {
            files = new String[0];
        }
        for (int i = 0; (i < files.length) && result; i++) {
            File fileSrc = new File(src, files[i]);
            File fileDest = new File(dest, files[i]);
            if (fileSrc.isDirectory()) {
                result = copy(fileSrc, fileDest);
            } else {
                try (FileInputStream fis = new FileInputStream(fileSrc);
                        FileChannel ic = (fis).getChannel();
                        FileOutputStream fos = new FileOutputStream(fileDest);
                        FileChannel oc = (fos).getChannel()) {
                    long size = ic.size();
                    long position = 0;
                    while (size > 0) {
                        long count = ic.transferTo(position, size, oc);
                        if (count > 0) {
                            position += count;
                            size -= count;
                        } else {
                            throw new EOFException();
                        }
                    }
                } catch (IOException ioe) {
                    log.error(sm.getString("expandWar.copy", fileSrc, fileDest), ioe);
                    result = false;
                }
            }
        }
        return result;
    }


    /**