public static List<File> copy(final File sourceDirectory, final File targetDirectory)
throws IOException {
final DocFilesCopier finder = new DocFilesCopier(sourceDirectory, targetDirectory);
final List<File> results = new LinkedList<File>();
finder.walk(sourceDirectory, results);
return results;
}
public static void copyResources(final File sourceDirectories[], final File targetDirectory) {
// copy js, css and html resources
final File htmlResourceDirectory = new File(Launcher.getMindRoot(), HTML_RESOURCES_DIR);
if (!htmlResourceDirectory.canRead()) {
logger.severe("Cannot read resource directory: " + htmlResourceDirectory.getPath());
System.exit(1);
}
final FileFilter ff =
new FileFilter() {
public boolean accept(final File file) {
return file.getName().endsWith(".css")
|| file.getName().endsWith(".html")
|| file.getName().endsWith(".js")
|| file.isDirectory();
}
};
try {
FileUtils.copyDirectory(htmlResourceDirectory, targetDirectory, ff);
} catch (final IOException e) {
logger.severe("Error while copying resources: " + e.getLocalizedMessage());
System.exit(1);
}
// copy **/doc-files/*
try {
for (final File sourceDirectory : sourceDirectories) {
DocFilesCopier.copy(sourceDirectory, targetDirectory);
}
} catch (final IOException e) {
logger.severe("Error while copying resources: " + e.getLocalizedMessage());
System.exit(1);
}
}
