Profile: Fix profile id issues and profile index in reach.

This commit is contained in:
Pierre-Antoine Rouby committed 2023-07-04 13:28:07 +02:00
1 parent f394989a5c
commit e7099bfb86
3 files changed
+30 -15

No files matched your search

+2 -1
View File
@@ -19,10 +19,11 @@ class Profile(object):
if id == -1:
self.id = Profile._id_cnt
Profile._id_cnt += 1
else:
self.id = id
Profile._id_cnt = max(self.id, Profile._id_cnt+1)
self._num = int(num)
self._code1 = int(code1)
self._code2 = int(code2)