From: Jérémie D. <Ba...@us...> - 2010-02-17 20:55:33
|
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 58105fc8cf98aaca1722ae26afa74968879c4b46 (commit) from 6745156ed1597623b6b73cb4da513875f04a357c (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 58105fc8cf98aaca1722ae26afa74968879c4b46 Author: Jérémie Dimino <je...@di...> Date: Wed Feb 17 21:55:07 2010 +0100 [controller] print logs in correct order ----------------------------------------------------------------------- Changes: diff --git a/PC_Mainboard/clients/controller.ml b/PC_Mainboard/clients/controller.ml index 5b1d480..27b1d3f 100644 --- a/PC_Mainboard/clients/controller.ml +++ b/PC_Mainboard/clients/controller.ml @@ -301,7 +301,7 @@ lwt () = (fun () -> (* Dump logs on abnormal exit: *) lwt () = restore_state () in - Lwt_list.iter_s Lwt_io.printl (React.S.value logs)) + Lwt_list.iter_s Lwt_io.printl (List.rev (React.S.value logs))) Lwt_main.exit_hooks in redirect_stderr (); hooks/post-receive -- krobot |