diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/leda.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/bin/leda.ml b/bin/leda.ml index 80c07af..a509c37 100644 --- a/bin/leda.ml +++ b/bin/leda.ml @@ -17,10 +17,12 @@ let () = let w = Curses.initscr () in let () = Curses.wclear w in (match%lwt R.session request with - | Ok (s, c) -> - let _ = Curses.mvwaddstr w 0 0 ("STATUS: " ^ (R.name_of_status s)) in - let _ = Curses.mvwaddstr w 1 0 ("STATUS LINE: " ^ (R.string_of_status s)) in - let _ = Curses.mvwaddstr w 2 0 c in + | Ok r -> + let _ = Curses.mvwaddstr w 0 0 ("STATUS: " ^ (R.name_of_response r)) in + let _ = Curses.mvwaddstr w 1 0 ("STATUS LINE: " ^ (R.header_of_response r)) in + let _ = match r with + | SUCCESS (_, c) | SUCCESS_EOCSS (_, c) -> Curses.mvwaddstr w 2 0 c + | _ -> false in let _ = Curses.refresh () in let _ = Curses.getch () in let _ = Curses.endwin () in |