chore(cli): only close engine on Ctrl-C

zhudotexe · May 28, 2024 · 814f796 · 814f796
1 parent 2678bb8
commit 814f796
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kani/utils/cli.py b/kani/utils/cli.py
@@ -74,8 +74,6 @@ async def chat_in_terminal_async(
                     elif msg.role == ChatRole.FUNCTION and show_function_returns:
                         print_width(msg.text, width=width, prefix="FUNC: ")
     except KeyboardInterrupt:
-        pass
-    finally:
         await kani.engine.close()