X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/22968d21e6cec9997f587ca50c376b816a938ec9..c925485fdb38ed45a0915f3b4dc22e2bdfbabe99:/src/simix/smx_process.c

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index c893aa87dd..0fe5c6fdbe 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -211,6 +211,12 @@ void* simcall_HANDLER_process_create(smx_simcall_t simcall,
                        kill_time, argc, argv, properties, auto_restart,
                        simcall->issuer);
 }
+
+static void kill_process(void* process)
+{
+  return simix_global->kill_process_function(process);
+}
+
 /**
  * \brief Internal function to create a process.
  *
@@ -295,7 +301,7 @@ smx_process_t SIMIX_process_create(
     if (kill_time > SIMIX_get_clock() && simix_global->kill_process_function) {
       XBT_DEBUG("Process %s(%s) will be kill at time %f", process->name,
           sg_host_get_name(process->host), kill_time);
-      process->kill_timer = SIMIX_timer_set(kill_time, simix_global->kill_process_function, process);
+      process->kill_timer = SIMIX_timer_set(kill_time, kill_process, process);
     }
   }
   return process;