diff options
author | jandegr <jandegr@users.noreply.github.com> | 2017-06-22 08:56:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-22 08:56:27 +0200 |
commit | 81155c517a163b5cc28fe6f1da4572ce5ccb6dd4 (patch) | |
tree | 8c9be1ad6ed4a1d93bfbc40a5d5ef304c062078e | |
parent | 3b13701adfa9ccbcf442c5611a80ad2568040cd1 (diff) | |
parent | 8ae3b31dd374f4d211a3c46bf4fe23ca2fed03dd (diff) | |
download | navit-81155c517a163b5cc28fe6f1da4572ce5ccb6dd4.tar.gz |
Merge pull request #270 from jfitie/AndroidDelMapInfoFileR7644
[Android] Delete MapInfoFile (.tmp.info) after successful download
-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");
}
|