diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2020-06-07 11:41:29 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2020-06-07 11:41:29 -0400 |
| commit | 9c501181512a5ba24ce1b592b74d2e9351061b83 (patch) | |
| tree | 054409b7ae9a1434a4f0852dcd170e0dd6480535 /bin/leda.ml | |
| parent | status -> response (diff) | |
Gracefully end curses after error
Diffstat (limited to '')
| -rw-r--r-- | bin/leda.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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 |