From: Nicolas D. <Ba...@us...> - 2011-03-30 22:50:12
|
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 79295c819ab4b49f0b1397d1b5f7ff12f755a410 (commit) from 42761a095b9fe25b724642b4252134dc57aae150 (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 79295c819ab4b49f0b1397d1b5f7ff12f755a410 Author: Nicolas Dandrimont <Nic...@cr...> Date: Thu Mar 31 00:49:01 2011 +0200 [krobot_viewer] Wait a little longer before checking for status We could have been checking for status before the system got a new value. ----------------------------------------------------------------------- Changes: diff --git a/info/control2011/src/tools/krobot_viewer.ml b/info/control2011/src/tools/krobot_viewer.ml index ebb1969..0cc0e56 100644 --- a/info/control2011/src/tools/krobot_viewer.ml +++ b/info/control2011/src/tools/krobot_viewer.ml @@ -453,6 +453,7 @@ module Board = struct let wait_done board = lwt () = Lwt_log.info "waiting for the robot to stop moving" in + lwt () = Lwt_unix.sleep 0.3 in lwt () = while_lwt board.moving do Lwt_unix.sleep 0.2 hooks/post-receive -- krobot |