Changeset 1227 for trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlClientInfos.java
- Timestamp:
- 06/26/13 15:30:58 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlClientInfos.java
r1019 r1227 92 92 } 93 93 94 /** 95 * @return the id of the monitored web application which is the host and port 96 */ 97 String getWebAppId() { 98 String id = url.getHost(); 99 if ("".equals(id)) { 100 id = "unknown"; 101 } 102 103 if (url.getPort() > 0) { 104 id += "_" + url.getPort(); 105 } 106 107 return id; 108 } 109 94 110 }
Note: See TracChangeset
for help on using the changeset viewer.