}
}
+static void kill_process(void* arg)
+{
+ simix_global->kill_process_function((smx_process_t) arg);
+}
+
/**
* \ingroup simix_process_management
* \brief Set the kill time of a process.
if (kill_time > SIMIX_get_clock()) {
if (simix_global->kill_process_function) {
XBT_DEBUG("Set kill time %f for process %s(%s)",kill_time, process->name,
- sg_host_name(process->host));
- process->kill_timer = SIMIX_timer_set(kill_time, simix_global->kill_process_function, process);
+ sg_host_get_name(process->host));
+ process->kill_timer = SIMIX_timer_set(kill_time, kill_process, process);
}
}
}