GroupBuilder.build_groups() was failing when it encountered Player objects who had Player.level stored in the state.json file as strings, rather than the assumed integer types.
This fix implements a @property decorator to the Player class to ensure that Player.level will always return an integer, regardless of how it is stored (string or integer).
GroupBuilder.build_groups() was failing when it encountered Player objects who had Player.level stored in the state.json file as strings, rather than the assumed integer types.
This fix implements a @property decorator to the Player class to ensure that Player.level will always return an integer, regardless of how it is stored (string or integer).