From: Jérémie D. <Ba...@us...> - 2010-02-18 17:40:09
|
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 d5ab617b932411ce6d6a6d987575418bba469599 (commit) from 874a7ccf8dbabec69f1172c987e9213905ab7d45 (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 d5ab617b932411ce6d6a6d987575418bba469599 Author: Jérémie Dimino <je...@di...> Date: Thu Feb 18 18:39:34 2010 +0100 [controller] logs lines in correct order ----------------------------------------------------------------------- Changes: diff --git a/PC_Mainboard/clients/controller.ml b/PC_Mainboard/clients/controller.ml index abe4a32..614cf73 100644 --- a/PC_Mainboard/clients/controller.ml +++ b/PC_Mainboard/clients/controller.ml @@ -238,7 +238,7 @@ let log_lines lines = else line :: truncate (n + 1) rest in - set_logs (lines @ truncate (List.length lines) (React.S.value logs)) + set_logs (List.rev lines @ truncate (List.length lines) (React.S.value logs)) let history_file_name = Filename.concat (try Unix.getenv "HOME" with _ -> "") ".krobot-controller-history" hooks/post-receive -- krobot |