- parse_argc,parse_argv);
- if(kill_time > SIMIX_get_clock()) {
- surf_timer_resource->extension_public->set(kill_time,
- (void*) &SIMIX_process_kill,
- (void*) process);
+ parse_argc, parse_argv, /*the props*/ current_property_set);
+ else
+ 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 (simix_global->kill_process_function)
+ surf_timer_model->extension_public->set(start_time,
+ (void *) simix_global->
+ kill_process_function,
+ arg);
+ else
+ surf_timer_model->extension_public->set(kill_time, (void *)
+ &SIMIX_process_kill,
+ (void *) process);