Add time to saved media filenames

see #1689
// FREEBIE
fork-5.53.8
rymdhund 2014-07-31 18:50:22 +02:00 zatwierdzone przez Jake McGinty
rodzic edb04138c2
commit d3da409774
1 zmienionych plików z 8 dodań i 2 usunięć

Wyświetl plik

@ -486,12 +486,18 @@ public class ConversationFragment extends SherlockListFragment
MimeTypeMap mimeTypeMap = MimeTypeMap.getSingleton();
String extension = mimeTypeMap.getExtensionFromMimeType(slide.getContentType());
SimpleDateFormat dateFormatter = new SimpleDateFormat("yyyy-MM-dd");
SimpleDateFormat dateFormatter = new SimpleDateFormat("yyyy-MM-dd-HHmmss");
String base = "textsecure-" + dateFormatter.format(timestamp);
if (extension == null)
extension = "attach";
return File.createTempFile("textsecure-" + dateFormatter.format(timestamp), "." + extension, outputDirectory);
int i = 0;
File file = new File(outputDirectory, base+"."+extension);
while (file.exists())
file = new File(outputDirectory, base+"-"+(++i)+"."+extension);
return file;
}
}
}