From e98b26fee5e92337c44a21a5575a8d491f846669 Mon Sep 17 00:00:00 2001 From: Pol Henarejos Date: Mon, 13 Nov 2023 15:34:33 +0100 Subject: [PATCH] Flush stderr. Signed-off-by: Pol Henarejos --- tools/pico-hsm-tool.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/pico-hsm-tool.py b/tools/pico-hsm-tool.py index 0be2e36..76993c7 100644 --- a/tools/pico-hsm-tool.py +++ b/tools/pico-hsm-tool.py @@ -480,6 +480,7 @@ def main(args): sys.stderr.buffer.write(b'Author: Pol Henarejos\n') sys.stderr.buffer.write(b'Report bugs to https://github.com/polhenarejos/pico-hsm/issues\n') sys.stderr.buffer.write(b'\n\n') + sys.stderr.flush() picohsm = PicoHSM(args.pin)