From c8e16684d38f5ed74f3006667ae20189bd461fa0 Mon Sep 17 00:00:00 2001 From: pelya Date: Tue, 30 Oct 2012 20:02:32 +0200 Subject: [PATCH] Fix to the partial data downloading --- project/java/DataDownloader.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/project/java/DataDownloader.java b/project/java/DataDownloader.java index c5f797abb..1ed15564b 100644 --- a/project/java/DataDownloader.java +++ b/project/java/DataDownloader.java @@ -223,6 +223,7 @@ class DataDownloader extends Thread return false; Resources res = Parent.getResources(); + boolean forceOverwrite = false; String path = getOutFilePath(DownloadFlagFileName); InputStream checkFile = null; @@ -251,7 +252,9 @@ class DataDownloader extends Thread throw new IOException(); Status.setText( res.getString(R.string.download_unneeded) ); return true; - } catch ( IOException e ) {}; + } catch ( IOException e ) { + forceOverwrite = true; + } } checkFile = null; @@ -291,7 +294,7 @@ class DataDownloader extends Thread url = url.substring( url.indexOf(":", 1) + 1 ); DoNotUnzip = true; File partialDownload = new File( path ); - if( partialDownload.exists() && !partialDownload.isDirectory() ) + if( partialDownload.exists() && !partialDownload.isDirectory() && !forceOverwrite ) partialDownloadLen = partialDownload.length(); } Status.setText( downloadCount + "/" + downloadTotal + ": " + res.getString(R.string.connecting_to, url) );