hotfix: allow old check config format

Feuermagier · May 15, 2024 · 8c790ff · 8c790ff
1 parent 02c991f
commit 8c790ff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/autograder-core/src/main/java/de/firemage/autograder/core/CheckConfiguration.java b/autograder-core/src/main/java/de/firemage/autograder/core/CheckConfiguration.java
@@ -18,6 +18,9 @@ public static CheckConfiguration fromConfigFile(Path configFile) throws IOExcept
     }
 
     public static CheckConfiguration fromConfigString(String configString) throws IOException, LinterConfigurationException {
+        if (!configString.contains("problemsToReport") && configString.startsWith("[")) {
+            configString = "problemsToReport: " + configString;
+        }
         var config =  new ObjectMapper(new YAMLFactory()).readValue(configString, CheckConfiguration.class);
         config.validate();
         return config;