[Krobot-commits] [SCM] krobot branch, master, updated. 634f84d90d057f6820a840877038335e9984c830

[Jérémie D. <Ba...@us...>]

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  634f84d90d057f6820a840877038335e9984c830 (commit)
      from  93013eb819e3abe48ddd1b9794f2d1178395dc68 (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 634f84d90d057f6820a840877038335e9984c830
Author: Jérémie Dimino <je...@di...>
Date:   Wed Mar 17 20:34:26 2010 +0100

    Lwt_main.fast_yield -> Lwt.pause

-----------------------------------------------------------------------

Changes:
diff --git a/PC_Mainboard/clients/controller.ml b/PC_Mainboard/clients/controller.ml
index 6025ad8..329f205 100644
--- a/PC_Mainboard/clients/controller.ml
+++ b/PC_Mainboard/clients/controller.ml
@@ -366,7 +366,7 @@ let refresh krobot =
     return ()
   else begin
     refresh_needed := true;
-    lwt () = Lwt_main.fast_yield () in
+    lwt () = Lwt.pause () in
     refresh_needed := false;
     draw krobot;
     return ()


hooks/post-receive
-- 
krobot