Changeset 1179 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseHTML.java

Timestamp:

04/29/13 10:29:06 (11 years ago)

Author:

pharms

Message:

• corrected error handling during parsing

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseHTML.java (modified) (2 diffs)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseHTML.java

@@ -23 +23 @@
 import de.ugoe.cs.autoquest.plugin.html.HTMLLogParser;
 import de.ugoe.cs.util.console.Command;
+import de.ugoe.cs.util.console.Console;
 import de.ugoe.cs.util.console.GlobalDataContainer;
 
@@ -57 +58 @@
         HTMLLogParser parser = new HTMLLogParser();
 
-        parser.parseFile(filename);
+        try {
+            parser.parseFile(filename);
+        }
+        catch (Exception e) {
+            Console.printerrln("Could not parse " + filename + ": " + e.getMessage());
+            return;
+        }
+
         Collection<List<Event>> sequences = parser.getSequences();