summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/leda.ml10
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