diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2020-06-06 11:02:59 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2020-06-07 11:39:58 -0400 |
| commit | 7d8650a88340eb3ee78c6939bf73d5e4fb12974c (patch) | |
| tree | 7fa7d4d2d2126ea200b2037dc9bfb6fe0f63570e /bin/leda.ml | |
| parent | Ignore emacs temp files (diff) | |
status -> response
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 |