const char *name = SD_workstation_get_name(workstation);
xbt_dict_set(sd_global->workstations, name, workstation, __SD_workstation_destroy); /* add the workstation to the dictionary */
- /* TODO: route */
return workstation;
}
xbt_free(((SD_workstation_t) workstation)->sd_data);
}
- /* TODO: route */
-
xbt_free(workstation);
}