diff options
author | Johan FitiƩ <jfitie@gmail.com> | 2017-06-21 19:32:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-21 19:32:27 +0200 |
commit | 8ae3b31dd374f4d211a3c46bf4fe23ca2fed03dd (patch) | |
tree | 529834035215bb0dfbd62c69207c378548d5fcc7 /navit/android/src | |
parent | c01e6faad59d53aee14616dfa6d6d32407887230 (diff) | |
download | navit-8ae3b31dd374f4d211a3c46bf4fe23ca2fed03dd.tar.gz |
[Android] Delete MapInfoFile (.tmp.info) after successful download
Diffstat (limited to 'navit/android/src')
-rw-r--r-- | navit/android/src/org/navitproject/navit/NavitMapDownloader.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/navit/android/src/org/navitproject/navit/NavitMapDownloader.java b/navit/android/src/org/navitproject/navit/NavitMapDownloader.java index 0d3ba1c61..dcbe83971 100644 --- a/navit/android/src/org/navitproject/navit/NavitMapDownloader.java +++ b/navit/android/src/org/navitproject/navit/NavitMapDownloader.java @@ -364,6 +364,7 @@ public class NavitMapDownloader extends Thread if (success) {
toast(map_values.map_name + " " + Navit._("ready"));
+ getMapInfoFile().delete();
Log.d(TAG, "success");
}
|