-
- if (process && kill_time > SIMIX_get_clock()) {
- if (simix_global->kill_process_function)
- surf_timer_model->extension.timer.set(start_time, (void *)
+ /* verify if process has been created */
+ if (!process) {
+ xbt_free(parse_host);
+ return;
+ }
+ if (kill_time > SIMIX_get_clock()) {
+ if (simix_global->kill_process_function)
+ surf_timer_model->extension.timer.set(start_time, (void *)