ui: flush stdout before writing traceback to stderr
Sometimes a traceback message is paired with ui.debug(). This patch makes sure that these messages are displayed in the right order.
Please register or sign in to comment
Sometimes a traceback message is paired with ui.debug(). This patch makes sure that these messages are displayed in the right order.