Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/AbstractDefaultLogParser.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/AbstractDefaultLogParser.java	(revision 1233)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/AbstractDefaultLogParser.java	(revision 1234)
@@ -205,4 +205,15 @@
                 throw new SAXParseException("Error parsing file " + file.getName(), locator, e);
             }
+            catch (SAXParseException e) {
+                if ("XML document structures must start and end within the same entity.".equals
+                    (e.getMessage()))
+                {
+                    // this only denotes, that the final session tag is missing, because the
+                    // file wasn't completed. Ignore this.
+                }
+                else {
+                    throw e;
+                }
+            }
         }
     }
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 1233)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogCompressor.java	(revision 1234)
@@ -143,4 +143,5 @@
                     catch (Exception e) {
                         Console.printerrln("could not parse and compress file " + file);
+                        Console.printerrln(e.getMessage());
                     }
                 }
@@ -170,23 +171,28 @@
         }
         
-        for (File file : compressedFiles) {
-            if (!file.delete()) {
-                Console.printerrln("could not delete compressed file " + file);
-            }
-        }
-        
-        if (outFile.exists()) {
-            File finalOutFile = null;
-            
-            logFileIndex = -1;
-            do {
-                logFileIndex++;
-                finalOutFile =
-                    new File(directory, getLogFileName(directory.getName(), logFileIndex));
-            }
-            while (finalOutFile.exists());
-
-            outFile.renameTo(finalOutFile);
-            Console.println("created " + finalOutFile);
+        if (compressedFiles.size() > 0) {
+            for (File file : compressedFiles) {
+                if (!file.delete()) {
+                    Console.printerrln("could not delete compressed file " + file);
+                }
+            }
+        
+            if (outFile.exists()) {
+                File finalOutFile = null;
+            
+                logFileIndex = -1;
+                do {
+                    logFileIndex++;
+                    finalOutFile =
+                        new File(directory, getLogFileName(directory.getName(), logFileIndex));
+                }
+                while (finalOutFile.exists());
+
+                outFile.renameTo(finalOutFile);
+                Console.println("created " + finalOutFile);
+            }
+        }
+        else {
+            outFile.delete();
         }
     }