Terminate hint engine on exit

nickzuber · Jul 1, 2019 · 083092f · 083092f
1 parent d68ef9a
commit 083092f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/chs/VERSION b/chs/VERSION
@@ -1 +1 @@
-2.0.0
+2.0.1
diff --git a/chs/client/runner.py b/chs/client/runner.py
@@ -57,6 +57,7 @@ def run(self):
       self.ui_board.generate(self.fen(), self.board, self.engine, GameOver.RESIGN)
     finally:
       self.engine.done()
+      self.hint_engine.done()
 
   def check_game_over(self):
     if self.board.is_game_over():