fix: probably fix for duplicate bot names when save names active (ref #403)

This commit is contained in:
jeefo 2023-02-01 21:19:17 +03:00
commit 9d8318e584
No known key found for this signature in database
GPG key ID: D85B0637366787C3
3 changed files with 15 additions and 0 deletions

View file

@ -111,6 +111,9 @@ public:
// remove bot name from used list
void clearUsedName (Bot *bot);
// set the bot names as used
void setBotNameUsed(const int index, StringRef name);
// initialize weapon info
void initWeapons ();