Changeset 1264 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.java

Timestamp:

07/25/13 14:53:22 (11 years ago)

Author:

pharms

Message:

• improved logging

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.java (modified) (1 diff)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.java

@@ -49 +49 @@
      * (non-Javadoc)
      * 
-     * @see java.lang.Object#toString()
-     */
-    @Override
-    public String toString() {
-        String str = "Server(" + getHost();
-
-        if (getPort() > -1 ) {
-            str += ":" + getPort();
-        }
-        
-        str += ")";
-        return str;
-    }
-
-    /*
-     * (non-Javadoc)
-     * 
      * @see de.ugoe.cs.autoquest.plugin.html.guimodel.HTMLGUIElement#getElementDescriptor()
      */