Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogCompressor.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogCompressor.java	(revision 1266)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogCompressor.java	(revision 1272)
@@ -189,10 +189,18 @@
                 while (finalOutFile.exists());
 
-                outFile.renameTo(finalOutFile);
-                Console.println("created " + finalOutFile);
+                if (outFile.renameTo(finalOutFile)) {
+                    Console.println("created " + finalOutFile);
+                }
+                else {
+                    Console.println
+                        ("created " + outFile + " but could not rename to " + finalOutFile);
+                }
             }
         }
         else {
-            outFile.delete();
+            if (!outFile.delete()) {
+                Console.printerrln
+                    ("could not delete temporary file " + outFile);
+            }
         }
     }
@@ -273,5 +281,6 @@
                     // add the event directly where the center is, as the timestamps of the center
                     // and the new event are equal
-                    start = end = center;
+                    end = center;
+                    start = end;
                     break;
                 }
Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java	(revision 1266)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java	(revision 1272)
@@ -69,5 +69,5 @@
             // this is a server specification
             int port = 80;
-            String portStr = parameters.get(port);
+            String portStr = parameters.get("port");
             
             if (portStr != null) {
Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogTextInputPseudomizer.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogTextInputPseudomizer.java	(revision 1266)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogTextInputPseudomizer.java	(revision 1272)
@@ -242,5 +242,6 @@
                     // add the event directly where the center is, as the timestamps of the center
                     // and the new event are equal
-                    start = end = center;
+                    end = center;
+                    start = end;
                     break;
                 }
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 1266)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 1272)
@@ -127,13 +127,21 @@
                     !file.getAbsolutePath().equals(destination.getAbsolutePath()))
                 {
-                    file.renameTo(destination);
-                
-                    Console.println("moved "  + file + " to " + destination);
-                
-                    if ((file.getParentFile().list() == null) ||
-                        (file.getParentFile().list().length == 0))
-                    {
-                        file.getParentFile().delete();
-                        Console.println("removed directory "  + file.getParentFile());
+                    if (file.renameTo(destination)) {
+                        Console.println("moved "  + file + " to " + destination);
+
+                        if ((file.getParentFile().list() == null) ||
+                            (file.getParentFile().list().length == 0))
+                        {
+                            if (file.getParentFile().delete()) {
+                                Console.println("removed directory "  + file.getParentFile());
+                            }
+                            else {
+                                Console.println
+                                    ("could not remove directory "  + file.getParentFile());                            
+                            }
+                        }
+                    }
+                    else {
+                        Console.println("could not move "  + file + " to " + destination);
                     }
                 }