summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@rak.ac>2020-06-06 11:02:59 -0400
committerRyan Kavanagh <rak@rak.ac>2020-06-07 11:39:58 -0400
commit7d8650a88340eb3ee78c6939bf73d5e4fb12974c (patch)
tree7fa7d4d2d2126ea200b2037dc9bfb6fe0f63570e /bin
parentIgnore emacs temp files (diff)
status -> response
Diffstat (limited to '')
-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