Close FileChannels in UpdateHandler#copyFile.

Bug: 26239281 Change-Id: Ib30beb3548f8fb4a8e338b5da863ae28c252bc2b
2016-02-24 20:08:27 -08:00 · 2016-02-24 20:08:27 -08:00 · 3e2670265e
parent 706fce9bb0
commit 3e2670265e
1 changed files with 10 additions and 2 deletions
--- a/java/src/com/android/inputmethod/dictionarypack/UpdateHandler.java
+++ b/java/src/com/android/inputmethod/dictionarypack/UpdateHandler.java
@ -689,8 +689,16 @@ public final class UpdateHandler {
        } else {
            try {
                final FileChannel sourceChannel = ((FileInputStream) in).getChannel();
+                try {
                    final FileChannel destinationChannel = ((FileOutputStream) out).getChannel();
+                    try {
                        sourceChannel.transferTo(0, Integer.MAX_VALUE, destinationChannel);
+                    } finally {
+                        destinationChannel.close();
+                    }
+                } finally {
+                    sourceChannel.close();
+                }
            } catch (IOException e) {
                // Can't work with channels, or something went wrong. Copy by hand.
                DebugLogUtils.l("Won't work");