Answer the request as the last action on it (it will destroy it)

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

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 25d9ef2..18d6814 100644 (file)
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -92,9 +92,9 @@ void MC_dpor(void)
           xbt_free(req_str);
         }
 
           xbt_free(req_str);
         }
 

-        SIMIX_request_pre(req);
-

         MC_state_set_executed_request(state, req);
         MC_state_set_executed_request(state, req);

+
+        SIMIX_request_pre(req); /* After this call req is no longer usefull */

         
         /* Wait for requests (schedules processes) */
         MC_wait_for_requests();
         
         /* Wait for requests (schedules processes) */
         MC_wait_for_requests();