i = 0;
xbt_lib_foreach(host_lib, cursor, key, data) {
if(data[SD_HOST_LEVEL])
- sd_global->workstation_list[i++] = (SD_workstation_t) data[SD_HOST_LEVEL];
+ sd_global->workstation_list[i++] = (SD_workstation_t) data[SD_HOST_LEVEL];
}
}
return sd_global->workstation_list;
XBT_INFO("Displaying workstation %s", SD_workstation_get_name(ws));
XBT_INFO(" - power: %.0f", SD_workstation_get_power(ws));
- XBT_INFO(" - available power: %.0f", SD_workstation_get_available_power(ws));
+ XBT_INFO(" - available power: %.2f", SD_workstation_get_available_power(ws));
switch (ws->access_mode){
case SD_WORKSTATION_SHARED_ACCESS:
XBT_INFO(" - access mode: Space shared");
break;
case SD_WORKSTATION_SEQUENTIAL_ACCESS:
XBT_INFO(" - access mode: Exclusive");
- task = SD_workstation_get_current_task(ws);
- if(task)
- XBT_INFO(" current running task: %s",
- SD_task_get_name(task));
+ task = SD_workstation_get_current_task(ws);
+ if(task)
+ XBT_INFO(" current running task: %s",
+ SD_task_get_name(task));
+ else
+ XBT_INFO(" no task running");
break;
default:
- XBT_INFO(" - (unknown access mode)");
+ XBT_INFO(" - (unknown access mode)");
}
props = SD_workstation_get_properties(ws);