Changeset 1272
- Timestamp:
- 07/25/13 15:27:21 (11 years ago)
- 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 189 189 while (finalOutFile.exists()); 190 190 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 } 193 198 } 194 199 } 195 200 else { 196 outFile.delete(); 201 if (!outFile.delete()) { 202 Console.printerrln 203 ("could not delete temporary file " + outFile); 204 } 197 205 } 198 206 } … … 273 281 // add the event directly where the center is, as the timestamps of the center 274 282 // and the new event are equal 275 start = end = center; 283 end = center; 284 start = end; 276 285 break; 277 286 } -
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java
r1266 r1272 69 69 // this is a server specification 70 70 int port = 80; 71 String portStr = parameters.get( port);71 String portStr = parameters.get("port"); 72 72 73 73 if (portStr != null) { -
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogTextInputPseudomizer.java
r1265 r1272 242 242 // add the event directly where the center is, as the timestamps of the center 243 243 // and the new event are equal 244 start = end = center; 244 end = center; 245 start = end; 245 246 break; 246 247 } -
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java
r1235 r1272 127 127 !file.getAbsolutePath().equals(destination.getAbsolutePath())) 128 128 { 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); 138 146 } 139 147 }
Note: See TracChangeset
for help on using the changeset viewer.