summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@rak.ac>2020-06-07 11:41:29 -0400
committerRyan Kavanagh <rak@rak.ac>2020-06-07 11:41:29 -0400
commit9c501181512a5ba24ce1b592b74d2e9351061b83 (patch)
tree054409b7ae9a1434a4f0852dcd170e0dd6480535
parentstatus -> response (diff)
Gracefully end curses after error
Diffstat (limited to '')
-rw-r--r--bin/leda.ml5
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