git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2385
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
void __SD_link_destroy(SD_link_t link);
SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data);
void __SD_link_destroy(SD_link_t link);
SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data);
-void __SD_workstation_destroy(SD_workstation_t workstation);
+void __SD_workstation_destroy(void *workstation);
workstation->sd_data = sd_data; /* private data */
const char *name = SD_workstation_get_name(workstation);
workstation->sd_data = sd_data; /* private data */
const char *name = SD_workstation_get_name(workstation);
- xbt_dict_set(sd_global->workstations, name, workstation, free); /* add the workstation to the dictionary */
+ xbt_dict_set(sd_global->workstations, name, workstation, __SD_workstation_destroy); /* add the workstation to the dictionary */
/* TODO: route */
return workstation;
/* TODO: route */
return workstation;
/* Destroys a workstation. The user data (if any) should have been destroyed first.
*/
/* Destroys a workstation. The user data (if any) should have been destroyed first.
*/
-void __SD_workstation_destroy(SD_workstation_t workstation) {
+void __SD_workstation_destroy(void *workstation) {
CHECK_INIT_DONE();
xbt_assert0(workstation != NULL, "Invalid parameter");
CHECK_INIT_DONE();
xbt_assert0(workstation != NULL, "Invalid parameter");
- if (workstation->sd_data != NULL) {
- xbt_free(workstation->sd_data);
+ if (((SD_workstation_t) workstation)->sd_data != NULL) {
+ xbt_free(((SD_workstation_t) workstation)->sd_data);