Changeset 1272


Ignore:
Timestamp:
07/25/13 15:27:21 (11 years ago)
Author:
pharms
Message:
  • removed find bugs warnings
Location:
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html
Files:
4 edited

Legend:

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

    r1254 r1272  
    189189                while (finalOutFile.exists()); 
    190190 
    191                 outFile.renameTo(finalOutFile); 
    192                 Console.println("created " + finalOutFile); 
     191                if (outFile.renameTo(finalOutFile)) { 
     192                    Console.println("created " + finalOutFile); 
     193                } 
     194                else { 
     195                    Console.println 
     196                        ("created " + outFile + " but could not rename to " + finalOutFile); 
     197                } 
    193198            } 
    194199        } 
    195200        else { 
    196             outFile.delete(); 
     201            if (!outFile.delete()) { 
     202                Console.printerrln 
     203                    ("could not delete temporary file " + outFile); 
     204            } 
    197205        } 
    198206    } 
     
    273281                    // add the event directly where the center is, as the timestamps of the center 
    274282                    // and the new event are equal 
    275                     start = end = center; 
     283                    end = center; 
     284                    start = end; 
    276285                    break; 
    277286                } 
  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java

    r1266 r1272  
    6969            // this is a server specification 
    7070            int port = 80; 
    71             String portStr = parameters.get(port); 
     71            String portStr = parameters.get("port"); 
    7272             
    7373            if (portStr != null) { 
  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogTextInputPseudomizer.java

    r1265 r1272  
    242242                    // add the event directly where the center is, as the timestamps of the center 
    243243                    // and the new event are equal 
    244                     start = end = center; 
     244                    end = center; 
     245                    start = end; 
    245246                    break; 
    246247                } 
  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java

    r1235 r1272  
    127127                    !file.getAbsolutePath().equals(destination.getAbsolutePath())) 
    128128                { 
    129                     file.renameTo(destination); 
    130                  
    131                     Console.println("moved "  + file + " to " + destination); 
    132                  
    133                     if ((file.getParentFile().list() == null) || 
    134                         (file.getParentFile().list().length == 0)) 
    135                     { 
    136                         file.getParentFile().delete(); 
    137                         Console.println("removed directory "  + file.getParentFile()); 
     129                    if (file.renameTo(destination)) { 
     130                        Console.println("moved "  + file + " to " + destination); 
     131 
     132                        if ((file.getParentFile().list() == null) || 
     133                            (file.getParentFile().list().length == 0)) 
     134                        { 
     135                            if (file.getParentFile().delete()) { 
     136                                Console.println("removed directory "  + file.getParentFile()); 
     137                            } 
     138                            else { 
     139                                Console.println 
     140                                    ("could not remove directory "  + file.getParentFile());                             
     141                            } 
     142                        } 
     143                    } 
     144                    else { 
     145                        Console.println("could not move "  + file + " to " + destination); 
    138146                    } 
    139147                } 
Note: See TracChangeset for help on using the changeset viewer.