From: Jérémie D. <Ba...@us...> - 2011-04-19 12:36:50
|
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 02784a1be45e3f59d96e5b550f94adb3e5034657 (commit) from 3f167129823c37347beb03b6774740ae5b7689c2 (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 02784a1be45e3f59d96e5b550f94adb3e5034657 Author: Jérémie Dimino <je...@di...> Date: Tue Apr 19 14:36:17 2011 +0200 [krobot_viewer] emit a Send message at startup ----------------------------------------------------------------------- Changes: diff --git a/info/control2011/src/tools/krobot_viewer.ml b/info/control2011/src/tools/krobot_viewer.ml index 692bdcd..12926f4 100644 --- a/info/control2011/src/tools/krobot_viewer.ml +++ b/info/control2011/src/tools/krobot_viewer.ml @@ -450,6 +450,9 @@ lwt () = (* Handle messages. *) E.keep (E.map (fun msg -> handle_message viewer msg) (Krobot_bus.recv bus)); + (* Ask for initial parameters. *) + lwt () = Krobot_bus.send bus (Unix.gettimeofday (), Send) in + (* Adjusts The position of paned. *) viewer.ui#scene_paned#set_position ((viewer.ui#window#default_width * 5) / 8); hooks/post-receive -- krobot |