Use xbt_thread_yield explicitely instead of Sleep(0). This is the same effect, but...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3303 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/xbt_thread.c b/src/xbt/xbt_thread.c
index 7da3252..b35218d 100644 (file)
--- a/src/xbt/xbt_thread.c
+++ b/src/xbt/xbt_thread.c
@@ -388,7 +388,7 @@ void xbt_thcond_signal(xbt_thcond_t cond) {
      if(!SetEvent(cond->events[SIGNAL]))
        THROW0(system_error,0,"SetEvent failed");
        
      if(!SetEvent(cond->events[SIGNAL]))
        THROW0(system_error,0,"SetEvent failed");
        

-   Sleep(0);
+   xbt_thread_yield();

 }
 
 void xbt_thcond_broadcast(xbt_thcond_t cond){
 }
 
 void xbt_thcond_broadcast(xbt_thcond_t cond){