From 65d5f0933e6c568352f873e28ead675e68074791 Mon Sep 17 00:00:00 2001 From: ff137 Date: Fri, 21 Feb 2025 11:36:50 +0200 Subject: [PATCH] :art: Remove need for prompt init Signed-off-by: ff137 --- demo/runners/support/utils.py | 9 --------- 1 file changed, 9 deletions(-) diff --git a/demo/runners/support/utils.py b/demo/runners/support/utils.py index ebd8c9e67b..609528da4c 100644 --- a/demo/runners/support/utils.py +++ b/demo/runners/support/utils.py @@ -7,7 +7,6 @@ import prompt_toolkit import pygments from prompt_toolkit.application import run_in_terminal -from prompt_toolkit.eventloop.defaults import use_asyncio_event_loop from prompt_toolkit.formatted_text import FormattedText, PygmentsTokens from prompt_toolkit.patch_stdout import patch_stdout from prompt_toolkit.shortcuts import ProgressBar @@ -142,15 +141,7 @@ def flatten(args): yield arg -def prompt_init(): - if hasattr(prompt_init, "_called"): - return - prompt_init._called = True - use_asyncio_event_loop() - - async def prompt(*args, **kwargs): - prompt_init() with patch_stdout(): try: while True: