Config file parsing tolerate unexpected ids - just ignoring them.

paulscherrerinstitute · May 29, 2019 · 425313a · 425313a
1 parent 3ecd9e3
commit 425313a
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/src/main/java/ch/psi/jstriptool/Config.java b/src/main/java/ch/psi/jstriptool/Config.java
@@ -248,8 +248,10 @@ void parse(String line) {
                                 grid = c;
                                 break;
                             default:
-                                index = Integer.valueOf(code[2].substring(5));
-                                colors[index - 1] = c;
+                                if (code[2].startsWith("Color")){
+                                    index = Integer.valueOf(code[2].substring(5));
+                                    colors[index - 1] = c;
+                                }
                                 break;
                         }
                         break;
@@ -333,7 +335,11 @@ void parse(String line) {
 
     public void open(File file) throws IOException {
         try (Stream<String> lines = Files.lines(file.toPath())) {
-            lines.forEachOrdered(line -> parse(line));
+            try{
+                lines.forEachOrdered(line -> parse(line));
+            } catch (Exception ex){
+                ex.printStackTrace();
+            }
         }
     }