Jerry/tgmsbot
1
0
Fork 0
Code Issues 1 Pull requests Releases Wiki Activity

prevent dead lock

Browse source
This commit is contained in:
JerryXiao 2019-03-01 17:06:38 +08:00
parent c2b1b81b2b
commit 864c72f6ce
Signed by: Jerry
GPG key ID: 9D9CE43650FF2BAA
1 changed files with 61 additions and 54 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
tgmsbot.py
View file

@ -341,6 +341,7 @@ def handle_button_click(bot, update):
logger.debug("No game found for hash {}".format(bhash)) logger.debug("No game found for hash {}".format(bhash))
return return
game.lock.acquire() game.lock.acquire()
try:
if game.stopped: if game.stopped:
return return
board = game.board board = game.board
@ -396,6 +397,12 @@ def handle_button_click(bot, update):
update_keyboard_request(bot, bhash, game, chat_id, msg.message_id) update_keyboard_request(bot, bhash, game, chat_id, msg.message_id)
else: else:
game.lock.release() game.lock.release()
except:
try:
game.lock.release()
except RuntimeError:
pass
raise