diff options
| author | 2023-07-10 13:29:40 +0900 | |
|---|---|---|
| committer | 2023-07-12 14:54:55 +0200 | |
| commit | b97351f5a85cd0d08f4635463bdf2b8734bd29db (patch) | |
| tree | 48c56c3c70bcea9ae169d0729d85ff606c24875b /enigma-swing/src/main/java/cuchaz/enigma/gui | |
| parent | Allow using ctrl-shift-4 to close all open tabs (#518) (diff) | |
| download | enigma-fork-b97351f5a85cd0d08f4635463bdf2b8734bd29db.tar.gz enigma-fork-b97351f5a85cd0d08f4635463bdf2b8734bd29db.tar.xz enigma-fork-b97351f5a85cd0d08f4635463bdf2b8734bd29db.zip | |
Update GuiController.java (#523)
* Fix StatsGenerator encoding issue
Diffstat (limited to 'enigma-swing/src/main/java/cuchaz/enigma/gui')
| -rw-r--r-- | enigma-swing/src/main/java/cuchaz/enigma/gui/GuiController.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/GuiController.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/GuiController.java index 0eb9a16..91037b0 100644 --- a/enigma-swing/src/main/java/cuchaz/enigma/gui/GuiController.java +++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/GuiController.java | |||
| @@ -15,6 +15,7 @@ import java.awt.Desktop; | |||
| 15 | import java.io.File; | 15 | import java.io.File; |
| 16 | import java.io.FileWriter; | 16 | import java.io.FileWriter; |
| 17 | import java.io.IOException; | 17 | import java.io.IOException; |
| 18 | import java.nio.charset.StandardCharsets; | ||
| 18 | import java.nio.file.Path; | 19 | import java.nio.file.Path; |
| 19 | import java.util.Collection; | 20 | import java.util.Collection; |
| 20 | import java.util.List; | 21 | import java.util.List; |
| @@ -556,7 +557,7 @@ public class GuiController implements ClientPacketHandler { | |||
| 556 | try { | 557 | try { |
| 557 | File statsFile = File.createTempFile("stats", ".html"); | 558 | File statsFile = File.createTempFile("stats", ".html"); |
| 558 | 559 | ||
| 559 | try (FileWriter w = new FileWriter(statsFile)) { | 560 | try (FileWriter w = new FileWriter(statsFile, StandardCharsets.UTF_8)) { |
| 560 | w.write(Utils.readResourceToString("/stats.html").replace("/*data*/", data)); | 561 | w.write(Utils.readResourceToString("/stats.html").replace("/*data*/", data)); |
| 561 | } | 562 | } |
| 562 | 563 | ||