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

diff --git a/src/simix/smx_deployment.c b/src/simix/smx_deployment.c
index 41d777fe67..d1cae1289b 100644
--- a/src/simix/smx_deployment.c
+++ b/src/simix/smx_deployment.c
@@ -88,11 +88,11 @@ static void parse_process_finalize(void)
       process = SIMIX_process_create(parse_argv[0], parse_code, NULL, parse_host, parse_argc, parse_argv,       /*the props */
                                      current_property_set);
 
-    if (kill_time > SIMIX_get_clock()) {
+    if (process && kill_time > SIMIX_get_clock()) {
       if (simix_global->kill_process_function)
-        surf_timer_model->extension_public->set(start_time, (void *)
-                                                simix_global->kill_process_function,
-                                                arg);
+	surf_timer_model->extension_public->set(start_time, (void *) 
+						simix_global->kill_process_function,
+						process);
       else
         surf_timer_model->extension_public->set(kill_time, (void *)
                                                 &SIMIX_process_kill,