user-grinch Fix gamepool.py crash