X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3290913dede085dd2e29b466a1e0d132d4eb2942..09ced2bb0f994a2794e379b7ab0830921ae867e1:/src/simix/smx_global.c

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 72126a7669..c7185685ce 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -387,7 +387,7 @@ double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed)
                                        args->data, args->hostname,
                                        args->argc, args->argv,
                                        args->properties);
-        if (args->kill_time > SIMIX_get_clock()) {
+        if (process && args->kill_time > SIMIX_get_clock()) {
           surf_timer_model->extension_public->set(args->kill_time, (void *)
                                                   &SIMIX_process_kill,
                                                   (void *) process);