search

junjunguo / PocketMaps

Free offline maps with routing functions and more ...
https://github.com/junjunguo/PocketMaps
MIT License
217 stars 69 forks source link

Support old-name on server-maps #109

Open Starcommander opened 5 years ago

Starcommander commented 5 years ago

Sometimes a name of the server-map changes. Updates are not recognized in this case. Providing an oldname-tag on json map-list could allow to update a map from old-name to a new map.

Starcommander commented 4 years ago

Steps todo:

  1. While searching for map-updates also search for old-name tags.
  2. Executing update should result into download new-name-map and delete old-name-map.
  3. Change import_maps.sh --> keep old-name tag

Example: europe_bosnia --> newName: europe_bosnia-herzegovina

Starcommander commented 4 years ago

Another idea:

  1. Change import_maps.sh --> Update tag time=2020-01 for old-map-name on json-file with extra-tags: newMap=name and since=2019
  2. Hide all newMap=name map-entries while showing MapsDownloadView because deprecated
Starcommander commented 4 years ago

Using tag newMap as suggested. The deprecated map will be deleted, and new map downloaded instead. Deprecated maps are not shown on DownloadMapsView, when also local not existing.

Todo: Change import_maps.sh as suggested on 1)