Searched refs:hostPortSplit (Results 1 – 1 of 1) sorted by relevance
84 String[] hostPortSplit = urlString.split(":"); in run() local85 host = hostPortSplit[0]; in run()87 port = Integer.parseInt(hostPortSplit[1]); in run()