Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 1234)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 1235)
@@ -90,17 +90,17 @@
             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,4 +139,7 @@
                 }
             }
+            else {
+                Console.printerrln("Could not determine a server name in " + source);
+            }
         }
     }