fhudi commited on
Commit
704731e
·
verified ·
1 Parent(s): c9d7b4f

Bugfix play_helper.py _forfeiting()

Browse files
Files changed (1) hide show
  1. play_helper.py +2 -0
play_helper.py CHANGED
@@ -660,6 +660,8 @@ def start_new_game(game_name, level, session_state_component, is_solved_componen
660
  gr.Info("Sad to see you go... Wrapping things up...")
661
  cur_game.finish_stats_(forfeit=True)
662
  if level in LEVELS and level not in _solved_games[game_name]:
 
 
663
  _solved_games[game_name].append(level)
664
  upload_to_drive(fp_out, update=True)
665
  return 0, _solved_games
 
660
  gr.Info("Sad to see you go... Wrapping things up...")
661
  cur_game.finish_stats_(forfeit=True)
662
  if level in LEVELS and level not in _solved_games[game_name]:
663
+ if isinstance(_solved_games[game_name], str):
664
+ _solved_games[game_name] = []
665
  _solved_games[game_name].append(level)
666
  upload_to_drive(fp_out, update=True)
667
  return 0, _solved_games