Changeset 1235 for trunk/autoquest-plugin-html/src

Timestamp:

06/27/13 17:13:50 (11 years ago)

Author:

pharms

Message:

• corrected log compression and log file restructuring

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java (modified) (2 diffs)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java

@@ -90 +90 @@
             String serverName = null;
             
+            HTMLLogParser parser = new HTMLLogParser();
             try {
-                HTMLLogParser parser = new HTMLLogParser();
                 parser.parseFile(file);
-                
-                for (IGUIElement server : parser.getGuiModel().getRootElements()) {
-                    if (server instanceof HTMLServer) {
-                        serverName = ((HTMLServer) server).getHost() + "_" +
-                            ((HTMLServer) server).getPort();
-                    }
-                }
             }
             catch (Exception e) {
-                Console.printerrln("Could not parse " + source + ": " + e.getMessage());
+                // ignore as long as we were able to determine a server
+            }
+            
+            for (IGUIElement server : parser.getGuiModel().getRootElements()) {
+                if (server instanceof HTMLServer) {
+                    serverName = ((HTMLServer) server).getHost() + "_" +
+                        ((HTMLServer) server).getPort();
+                }
             }
             
@@ -139 +139 @@
                 }
             }
+            else {
+                Console.printerrln("Could not determine a server name in " + source);
+            }
         }
     }