rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00
Code Issues Releases Activity

Fix file descriptor leak when downloads are interrupted

Browse Source 
This fixes a java warning.
This commit is contained in:
Matthijs Kooijman 2016-01-21 17:15:42 +01:00
parent 19a9e4d5e0
commit 40e9aa17b3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-core/src/cc/arduino/utils/network/FileDownloader.java
View File

@ -207,8 +207,10 @@ public class FileDownloader extends Observable {
file.write(buffer, 0, read);
setDownloaded(getDownloaded() + read);
if (Thread.interrupted())
if (Thread.interrupted()) {
file.close();
throw new InterruptedException();
}
}
if (getDownloadSize() != null) {