the check if the input for a player is a integer was incorrectly returning True for exponents like '²' but subsequently crashed when trying to convert this to an integer. Instead of using str.isdigit() we now use str.isdecimal() which gives correct behavior.
the check if the input for a player is a integer was incorrectly returning True for exponents like '²' but subsequently crashed when trying to convert this to an integer. Instead of using str.isdigit() we now use str.isdecimal() which gives correct behavior.