- value = SD_workstation_get_property_value(w1, noexist);
- if (value == NULL)
- XBT_INFO("\tProperty: %s is undefined", noexist);
- else
- XBT_INFO("\tProperty: %s has value: %s", noexist, value);
+ value = sg_host_get_property_value(w1, noexist);
+ XBT_INFO("\tProperty: %s has value: %s", noexist, value?value:"Undefined (NULL)");