From 6fab06c17f8d9582fcd2a832fd834ec16db89ced Mon Sep 17 00:00:00 2001 From: Karstian Lee Date: Thu, 18 May 2023 23:42:23 +0800 Subject: [PATCH] Bug fix --- README.md | 2 +- build.gradle | 4 ++-- .../com/tianscar/javasound/midi/JDKMidiResourceReader.java | 7 ++++--- .../tianscar/javasound/sampled/JDKAudioResourceReader.java | 7 ++++--- 4 files changed, 11 insertions(+), 9 deletions(-) diff --git a/README.md b/README.md index b935c4c..f88f4cd 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ repositories { ```groovy dependencies { ... - implementation 'com.tianscar.javasound:javasound-resloader:0.1.1' + implementation 'com.tianscar.javasound:javasound-resloader:0.1.2' } ``` diff --git a/build.gradle b/build.gradle index 3c4530f..38c8d94 100644 --- a/build.gradle +++ b/build.gradle @@ -9,8 +9,8 @@ ext { libraryGroupName = 'com.tianscar.javasound' libraryVendorName = 'Tianscar' - libraryVersionCode = 2 - libraryVersionName = '0.1.1' + libraryVersionCode = 3 + libraryVersionName = '0.1.2' librarySourceCompatibility = JavaVersion.VERSION_1_8 libraryTargetCompatibility = JavaVersion.VERSION_1_8 diff --git a/src/main/java/com/tianscar/javasound/midi/JDKMidiResourceReader.java b/src/main/java/com/tianscar/javasound/midi/JDKMidiResourceReader.java index a8b187f..7f1d4fb 100644 --- a/src/main/java/com/tianscar/javasound/midi/JDKMidiResourceReader.java +++ b/src/main/java/com/tianscar/javasound/midi/JDKMidiResourceReader.java @@ -18,9 +18,10 @@ public class JDKMidiResourceReader implements MidiResourceReader { @Override public MidiFileFormat getMidiFileFormat(ClassLoader resourceLoader, String name) throws InvalidMidiDataException, IOException { - InputStream stream = resourceLoader.getResourceAsStream(name); - if (stream == null) throw new IOException("could not load resource \"" + name + "\" with ClassLoader \"" + resourceLoader + "\""); - else return MidiSystem.getMidiFileFormat(stream); + try (InputStream stream = resourceLoader.getResourceAsStream(name)) { + if (stream == null) throw new IOException("could not load resource \"" + name + "\" with ClassLoader \"" + resourceLoader + "\""); + else return MidiSystem.getMidiFileFormat(stream); + } } @Override diff --git a/src/main/java/com/tianscar/javasound/sampled/JDKAudioResourceReader.java b/src/main/java/com/tianscar/javasound/sampled/JDKAudioResourceReader.java index ff01123..516e449 100644 --- a/src/main/java/com/tianscar/javasound/sampled/JDKAudioResourceReader.java +++ b/src/main/java/com/tianscar/javasound/sampled/JDKAudioResourceReader.java @@ -18,9 +18,10 @@ public class JDKAudioResourceReader implements AudioResourceReader { @Override public AudioFileFormat getAudioFileFormat(ClassLoader resourceLoader, String name) throws UnsupportedAudioFileException, IOException { - InputStream stream = resourceLoader.getResourceAsStream(name); - if (stream == null) throw new IOException("could not load resource \"" + name + "\" with ClassLoader \"" + resourceLoader + "\""); - else return AudioSystem.getAudioFileFormat(stream); + try (InputStream stream = resourceLoader.getResourceAsStream(name)) { + if (stream == null) throw new IOException("could not load resource \"" + name + "\" with ClassLoader \"" + resourceLoader + "\""); + else return AudioSystem.getAudioFileFormat(stream); + } } @Override