|
From: Jérémie D. <Ba...@us...> - 2010-02-21 13:17:41
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "krobot".
The branch, master has been updated
via 9383eb0cc3a954ab07681748fb6c59f65703bd2c (commit)
from 7a4f8545c3cb92904815340be3fca2e044a8f6a8 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 9383eb0cc3a954ab07681748fb6c59f65703bd2c
Author: Jérémie Dimino <je...@di...>
Date: Sun Feb 21 14:16:56 2010 +0100
rename Lwt_term.{save,restore}_state to Lwt_term.{enter,leave}_drawing_mode
-----------------------------------------------------------------------
Changes:
diff --git a/PC_Mainboard/clients/controller.ml b/PC_Mainboard/clients/controller.ml
index 0b26109..d0a730c 100644
--- a/PC_Mainboard/clients/controller.ml
+++ b/PC_Mainboard/clients/controller.ml
@@ -347,7 +347,7 @@ lwt () =
lwt krobot = Krobot.create () in
(* Put the terminal into drawing mode: *)
- lwt () = Lwt_term.save_state () in
+ lwt () = Lwt_term.enter_drawing_mode () in
lwt () = Lwt_term.hide_cursor () in
init_logger ();
@@ -357,7 +357,7 @@ lwt () =
let node =
Lwt_sequence.add_l
(fun () ->
- lwt () = restore_state () in
+ lwt () = Lwt_term.leave_drawing_mode () in
Lwt_list.iter_s printlc (List.rev (React.S.value logs)))
Lwt_main.exit_hooks
in
@@ -398,4 +398,4 @@ lwt () =
Lwt_sequence.remove node;
(* Leave drawing mode *)
- restore_state ()
+ Lwt_term.leave_drawing_mode ()
hooks/post-receive
--
krobot
|