diff options
Diffstat (limited to 'tools/assign_ids/main.cpp')
-rw-r--r-- | tools/assign_ids/main.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/assign_ids/main.cpp b/tools/assign_ids/main.cpp index 1824c6f..39b532a 100644 --- a/tools/assign_ids/main.cpp +++ b/tools/assign_ids/main.cpp | |||
@@ -40,6 +40,8 @@ class AssignIds { | |||
40 | ProcessMaps(datadir_path); | 40 | ProcessMaps(datadir_path); |
41 | 41 | ||
42 | WriteIds(ids_path); | 42 | WriteIds(ids_path); |
43 | |||
44 | std::cout << "Next ID: " << next_id_ << std::endl; | ||
43 | } | 45 | } |
44 | 46 | ||
45 | void ReadIds(std::filesystem::path path) { | 47 | void ReadIds(std::filesystem::path path) { |
@@ -61,6 +63,12 @@ class AssignIds { | |||
61 | } | 63 | } |
62 | } | 64 | } |
63 | 65 | ||
66 | for (const auto& [_, id] : id_mappings_.special()) { | ||
67 | if (id > next_id_) { | ||
68 | next_id_ = id; | ||
69 | } | ||
70 | } | ||
71 | |||
64 | next_id_++; | 72 | next_id_++; |
65 | } | 73 | } |
66 | 74 | ||