diff options
author | 2022-08-24 04:38:45 +0000 | |
---|---|---|
committer | 2022-08-24 04:38:45 +0000 | |
commit | 9415f52b7d724d6c3cf79587d15449f8f4c3fda8 (patch) | |
tree | 0d0c8b5008062448fef2e831a794b4d6fbfb1c39 /java/src | |
parent | f13c5c796951b269d6c93c28cdd19a26a16dc4b4 (diff) | |
parent | 2549e988db32b10eddf78169c58f1b732bfafa32 (diff) | |
download | latinime-9415f52b7d724d6c3cf79587d15449f8f4c3fda8.tar.gz latinime-9415f52b7d724d6c3cf79587d15449f8f4c3fda8.tar.xz latinime-9415f52b7d724d6c3cf79587d15449f8f4c3fda8.zip |
Merge "Fix array-related errorprone warnings" am: 370d41de92 am: 3a06d6180b am: e546038cdf am: 51466cffd6 am: 2549e988db
Original change: https://android-review.googlesource.com/c/platform/packages/inputmethods/LatinIME/+/2186538
Change-Id: Idd10a3df6c0a34fe3d14d493a8af5b64338f298f
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Diffstat (limited to 'java/src')
-rw-r--r-- | java/src/com/android/inputmethod/dictionarypack/DownloadManagerWrapper.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/java/src/com/android/inputmethod/dictionarypack/DownloadManagerWrapper.java b/java/src/com/android/inputmethod/dictionarypack/DownloadManagerWrapper.java index 6f6b02637..e2e9a7e44 100644 --- a/java/src/com/android/inputmethod/dictionarypack/DownloadManagerWrapper.java +++ b/java/src/com/android/inputmethod/dictionarypack/DownloadManagerWrapper.java @@ -26,6 +26,7 @@ import android.os.ParcelFileDescriptor; import android.util.Log; import java.io.FileNotFoundException; +import java.util.Arrays; import javax.annotation.Nullable; @@ -62,7 +63,8 @@ public class DownloadManagerWrapper { // We couldn't remove the file from DownloadManager. Apparently, the database can't // be opened. It may be a problem with file system corruption. In any case, there is // not much we can do apart from avoiding crashing. - Log.e(TAG, "Can't remove files with ID " + ids + " from download manager", e); + Log.e(TAG, "Can't remove files with ID " + Arrays.toString(ids) + + " from download manager", e); } } |