File destFile = new File(dest);
String targetPath = ExportFileStream.getExportTargetPath(destFile,
url);
if (dest.toLowerCase().endsWith(".txt"))
return new ExportTask(targetPath, new TextMetricsFileExporter(
dashboard, destFile, paths));
else
return new ExportTask(targetPath, new ArchiveMetricsFileExporter(
dashboard, destFile, url, paths,
instr.getMetricsIncludes(), instr.getMetricsExcludes(),