From: Jérémie D. <Ba...@us...> - 2011-04-02 13:29:51
|
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 c3191f76df8f1fa57a4f46ce16720611da4cc01c (commit) from f3ba0f4c3e5b991400c322baeaec5decc5eb787f (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 c3191f76df8f1fa57a4f46ce16720611da4cc01c Author: Jérémie Dimino <je...@di...> Date: Sat Apr 2 15:27:59 2011 +0200 [krobot_viewer] show all logs by default ----------------------------------------------------------------------- Changes: diff --git a/info/control2011/src/tools/krobot_viewer.ml b/info/control2011/src/tools/krobot_viewer.ml index de1696a..fcc9a27 100644 --- a/info/control2011/src/tools/krobot_viewer.ml +++ b/info/control2011/src/tools/krobot_viewer.ml @@ -553,6 +553,9 @@ lwt () = ~channel:Lwt_io.stderr (); + (* Display all informative messages. *) + Lwt_log.Section.set_level Lwt_log.Section.main Lwt_log.Info; + lwt bus = Krobot_bus.get () in ignore (GMain.init ()); Lwt_glib.install (); hooks/post-receive -- krobot |