support windows 1252 encoding

Feuermagier · Apr 11, 2024 · 320a2aa · 320a2aa
1 parent 33b0cf0
commit 320a2aa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/autograder-core/src/main/java/de/firemage/autograder/core/file/FileSourceInfo.java b/autograder-core/src/main/java/de/firemage/autograder/core/file/FileSourceInfo.java
@@ -66,7 +66,8 @@ private SerializableCharset detectCharset(File file, SourcePath sourcePath) {
         Set<Charset> supportedCharsets = Set.of(
             StandardCharsets.UTF_8,
             StandardCharsets.US_ASCII,
-            StandardCharsets.ISO_8859_1
+            StandardCharsets.ISO_8859_1,
+            Charset.forName("windows-1252")
         );
 
         try {