Ignore:
Timestamp:
06/27/13 17:13:50 (11 years ago)
Author:
pharms
Message:
  • corrected log compression and log file restructuring
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java

    r1231 r1235  
    9090            String serverName = null; 
    9191             
     92            HTMLLogParser parser = new HTMLLogParser(); 
    9293            try { 
    93                 HTMLLogParser parser = new HTMLLogParser(); 
    9494                parser.parseFile(file); 
    95                  
    96                 for (IGUIElement server : parser.getGuiModel().getRootElements()) { 
    97                     if (server instanceof HTMLServer) { 
    98                         serverName = ((HTMLServer) server).getHost() + "_" + 
    99                             ((HTMLServer) server).getPort(); 
    100                     } 
    101                 } 
    10295            } 
    10396            catch (Exception e) { 
    104                 Console.printerrln("Could not parse " + source + ": " + e.getMessage()); 
     97                // ignore as long as we were able to determine a server 
     98            } 
     99             
     100            for (IGUIElement server : parser.getGuiModel().getRootElements()) { 
     101                if (server instanceof HTMLServer) { 
     102                    serverName = ((HTMLServer) server).getHost() + "_" + 
     103                        ((HTMLServer) server).getPort(); 
     104                } 
    105105            } 
    106106             
     
    139139                } 
    140140            } 
     141            else { 
     142                Console.printerrln("Could not determine a server name in " + source); 
     143            } 
    141144        } 
    142145    } 
Note: See TracChangeset for help on using the changeset viewer.