Changeset 1436 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServerSpec.java
- Timestamp:
- 03/06/14 10:30:03 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServerSpec.java
r1276 r1436 59 59 */ 60 60 public HTMLServerSpec(String host, int port) { 61 super("server" );61 super("server", (host != null ? host.hashCode() : 0) + port); 62 62 63 63 if (host == null) {
Note: See TracChangeset
for help on using the changeset viewer.