+ /* Well I changed my mind, I want the second workstation to be shared */
+
+ SD_workstation_set_access_mode(workstations[1],
+ SD_WORKSTATION_SHARED_ACCESS);
+ XBT_INFO(" Change access mode of %s to %s",
+ SD_workstation_get_name(workstations[1]),
+ (SD_workstation_get_access_mode(workstations[1]) ==
+ SD_WORKSTATION_SEQUENTIAL_ACCESS) ? "sequential" : "shared");