Re: Update README patch for ipc.cc

[Giuseppe Scrivano]

oops. I forgot a ). This should work better. Sorry for the flood.

Giuseppe

--- pistachio/kernel/src/api/v4/ipc.cc.old      2005-08-06 15:06:33.000000000 
+0200
+++ pistachio/kernel/src/api/v4/ipc.cc  2005-08-06 15:17:40.000000000 +0200
@@ -318,6 +318,9 @@
                 && (current->get_space() == virt_sender->get_space() ||
                     current->get_space() == to_tcb->get_space()))
            {
+    if (virt_sender->get_state().is_waiting() &&
+                   virt_sender->get_partner() == sender_id)
+                 virt_sender->set_partner(to_tid);
                sender_id = current->get_virtual_sender();
            }
            else
@@ -339,14 +342,14 @@
        if (EXPECT_FALSE(
            (!to_tcb->get_state().is_waiting())  ||
            (   // Not waiting for sender (may be virtual sender)?
-               to_tcb->get_partner() != sender_id &&
+    ( to_tcb->get_partner() != current->get_global_id() &&
                // Not open wait?
                !to_tcb->get_partner().is_anythread() &&
                // Not open local wait?
                !(to_tcb->get_partner().is_anylocalthread() && 
                  to_tcb->get_space() == current->get_space()) &&
                // Not waiting for actual sender (if propagating IPC)?
-               to_tcb->get_partner() != current->get_global_id()   )))
+               to_tcb->get_partner() != current->get_global_id()   ))))
        {
            TRACE_IPC ("dest not ready (%t, is_wt=%d)\n", 
                       to_tcb, to_tcb->get_state().is_waiting());