GitHub/skyline
2
0
Fork 0
mirror of https://github.com/skyline-emu/skyline.git synced 2024-12-27 16:55:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix name conflict resolution for copyDocument

Browse Source 
Any documents with the same name existing in a directory that is copied to would cause an exception due to existing already, this fixes that by handling conflict resolution in those cases and automatically determining a file name that would avoid a conflict.
This commit is contained in:
PixelyIon 2022-06-01 21:39:54 +05:30
parent c4bd9c47e4
commit 8efa9298f9
1 changed files with 19 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
app/src/main/java/emu/skyline/provider/DocumentsProvider.kt
View File

@ -97,12 +97,24 @@ class DocumentsProvider : DocumentsProvider() {
return documentId?.startsWith(parentDocumentId!!) ?: false
}
/**
* @return A new [File] with a unique name based off the supplied [name], not conflicting with any existing file
*/
fun File.resolveWithoutConflict(name: String): File {
var file = resolve(name)
if (file.exists()) {
var noConflictId = 1 // Makes sure two files don't have the same name by adding a number to the end
val extension = name.substringAfterLast('.')
val baseName = name.substringBeforeLast('.')
while (file.exists())
file = resolve("$baseName (${noConflictId++}).$extension")
}
return file
}
override fun createDocument(parentDocumentId : String?, mimeType : String?, displayName : String) : String? {
val parentFile = getFile(parentDocumentId!!)
var noConflictId = 1 // Makes sure two files don't have the same name by adding a number to the end
var newFile = parentFile.resolve(displayName)
while (newFile.exists())
newFile = parentFile.resolve("$displayName (${noConflictId++})")
val newFile = parentFile.resolveWithoutConflict(displayName)
try {
if (DocumentsContract.Document.MIME_TYPE_DIR == mimeType) {
@ -129,12 +141,7 @@ class DocumentsProvider : DocumentsProvider() {
val parent = getFile(parentDocumentId!!)
val file = getFile(documentId)
var doesFileParentMatch = false
val fileParent = file.parentFile
if (fileParent == null || fileParent.equals(parent))
doesFileParentMatch = true
if (parent == file || doesFileParentMatch) {
if (parent == file || file.parentFile == null || file.parentFile!! == parent) {
if (!file.delete())
throw FileNotFoundException("Couldn't delete document with ID '$documentId'")
} else {
@ -173,7 +180,8 @@ class DocumentsProvider : DocumentsProvider() {
override fun copyDocument(sourceDocumentId : String, targetParentDocumentId : String?) : String? {
val parent = getFile(targetParentDocumentId!!)
val oldFile = getFile(sourceDocumentId)
val newFile = parent.resolve(oldFile.name)
val newFile = parent.resolveWithoutConflict(oldFile.name)
try {
if (!(newFile.createNewFile() && newFile.setWritable(true) && newFile.setReadable(true)))
throw IOException("Couldn't create new file")