Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Fingerprint .properties

Browse Source
This commit is contained in:
Pepijn Schoen
2017-04-08 15:04:02 +02:00
committed by Patrick Niklaus
parent 5b4f432cba
commit e4eb18cf4e
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/updater/updater.cpp
+1 -1
View File
@@ -486,7 +486,7 @@ Updater::LoadAndUpdateEdgeExpandedGraph(std::vector<extractor::EdgeBasedEdge> &e
const auto load_profile_properties = [&] {
// Propagate profile properties to contractor configuration structure
storage::io::FileReader profile_properties_file(
config.profile_properties_path, storage::io::FileReader::HasNoFingerprint);
config.profile_properties_path, storage::io::FileReader::VerifyFingerprint);
profile_properties = profile_properties_file.ReadOne<extractor::ProfileProperties>();
};