for windows xbt_thread implementation a thread yield after it has signaled a condition

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

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

+       
+   Sleep(0);

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