+ DEBUG0("Destroying workstation and link arrays if necessary...");
+ if (sd_global->workstation_list != NULL)
+ xbt_free(sd_global->workstation_list);
+
+ if (sd_global->link_list != NULL)
+ xbt_free(sd_global->link_list);
+
+ DEBUG0("Destroying the swags...");