xbt_host_t xbt_host_from_string(const char *hostport) {
xbt_host_t res=xbt_new(s_xbt_host_t, 1);
char *name=xbt_strdup(hostport);
- char *port_str=strchr(hostport,':');
+ char *port_str=strchr(name,':');
xbt_assert1(port_str,"argument of xbt_host_from_string should be of form <hostname>:<port>, it's '%s'", hostport);
*port_str='\0';
port_str++;