From 9c501181512a5ba24ce1b592b74d2e9351061b83 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Sun, 7 Jun 2020 11:41:29 -0400 Subject: Gracefully end curses after error --- bin/leda.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/leda.ml b/bin/leda.ml index a509c37..abe1839 100644 --- a/bin/leda.ml +++ b/bin/leda.ml @@ -27,6 +27,9 @@ let () = let _ = Curses.getch () in let _ = Curses.endwin () in Lwt.return () - | Error m -> Lwt_io.printl m) + | Error m -> + let _ = Curses.refresh () in + let _ = Curses.endwin () in + Lwt_io.printl m) | Error m -> Lwt_io.printl m end -- cgit v1.2.3