xbt_dynar_length(done_task->tasks_before);
done_task->is_not_ready = done_task->unsatisfied_dependencies;
}
+ free(done_task->workstation_list);
+ done_task->workstation_list = NULL;
+ done_task->workstation_nb = 0;
}
xbt_swag_free(sd_global->done_task_set);
#ifdef HAVE_JEDULE
+ jedule_sd_dump();
jedule_sd_cleanup();
jedule_sd_init();
#endif
TRACE_end();
#endif
- XBT_DEBUG("Exiting Surf...");
- surf_exit();
-
xbt_free(sd_global);
sd_global = NULL;
#ifdef HAVE_JEDULE
jedule_sd_dump();
jedule_sd_cleanup();
+ jedule_sd_exit();
#endif
+
+ XBT_DEBUG("Exiting Surf...");
+ surf_exit();
}