} else if (docType.equals("document")) {
String format = documentList.getDownloadFormat(args[1],
getTypeFromFilename(args[2]));
documentList.downloadDocument(args[1], args[2], format);
} else {
MediaContent mc = (MediaContent) documentList.getDocsListEntry(args[1]).getContent();
String fileExtension = mc.getMimeType().getSubType();
URL exportUrl = new URL(mc.getUri());
// PDF file cannot be exported in different formats.
String requestedFormat = args[2]
.substring(args[2].lastIndexOf(".") + 1);
if (!requestedFormat.equals(fileExtension)) {
String[] formatWarning = {"Warning: "
+ mc.getMimeType().getMediaType() + " cannot be downloaded as a "
+ requestedFormat + ". Using ." + fileExtension + " instead."};
printMessage(formatWarning);
}
String newFilePath = args[2].substring(0, args[2].lastIndexOf(".") + 1) + fileExtension;
documentList.downloadFile(exportUrl, newFilePath);