Fix timestamp

This commit is contained in:
Victor Shcherb 2016-08-12 23:17:33 +02:00
parent 50ca389404
commit 4544345b69
2 changed files with 5 additions and 5 deletions

View file

@ -45,11 +45,9 @@ public class RegionAddressRepositoryBinary implements RegionAddressRepository {
private final Map<String, City> postCodes;
private final Collator collator;
private String fileName;
private ResourceManager mgr;
private OsmandPreference<String> langSetting;
public RegionAddressRepositoryBinary(ResourceManager mgr, BinaryMapIndexReader file, String fileName) {
this.mgr = mgr;
langSetting = mgr.getContext().getSettings().MAP_PREFERRED_LOCALE;
this.file = file;
this.fileName = fileName;

View file

@ -107,11 +107,13 @@ public class ResourceManager {
// Indexes
private final Map<String, RegionAddressRepository> addressMap = new ConcurrentHashMap<String, RegionAddressRepository>();
protected final Map<String, AmenityIndexRepository> amenityRepositories = new ConcurrentHashMap<String, AmenityIndexRepository>();
protected final Map<String, String> indexFileNames = new ConcurrentHashMap<String, String>();
protected final Map<String, String> basemapFileNames = new ConcurrentHashMap<String, String>();
protected final Map<String, BinaryMapIndexReader> routingMapFiles = new ConcurrentHashMap<String, BinaryMapIndexReader>();
protected final Map<String, TransportIndexRepository> transportRepositories = new ConcurrentHashMap<String, TransportIndexRepository>();
protected final Map<String, String> indexFileNames = new ConcurrentHashMap<String, String>();
protected final Map<String, String> basemapFileNames = new ConcurrentHashMap<String, String>();
protected final IncrementalChangesManager changesManager = new IncrementalChangesManager(this);
protected final MapRenderRepositories renderer;
@ -678,8 +680,8 @@ public class ResourceManager {
}
} else if(!wikiMap && !srtmMap) {
changesManager.indexMainMap(f, dateCreated);
indexFileNames.put(f.getName(), dateFormat.format(dateCreated)); //$NON-NLS-1$
}
indexFileNames.put(f.getName(), dateFormat.format(dateCreated)); //$NON-NLS-1$
if (!mapReader.getRegionNames().isEmpty() || mapReader.containsPoiData()) {
try {
RandomAccessFile raf = new RandomAccessFile(f, "r"); //$NON-NLS-1$