From: Benny Baumann Date: Sun, 19 Mar 2017 17:31:45 +0000 (+0100) Subject: fix: Close resources we no longer need X-Git-Url: https://code.wpia.club/?p=gigi.git;a=commitdiff_plain;h=c263737cb8aa7267a91bc276a81288baaf5e8928;ds=sidebyside fix: Close resources we no longer need Change-Id: Ife98cacc393010c60689525a358cab5823cb8cf7 --- diff --git a/src/club/wpia/gigi/util/DomainAssessment.java b/src/club/wpia/gigi/util/DomainAssessment.java index d24404ed..e17f2eea 100644 --- a/src/club/wpia/gigi/util/DomainAssessment.java +++ b/src/club/wpia/gigi/util/DomainAssessment.java @@ -148,11 +148,14 @@ public class DomainAssessment { public static void init(Properties conf) { String financialName = conf.getProperty("highFinancialValue"); + if (financialName == null) { throw new Error("No property highFinancialValue was configured"); } - try { - financial = new DomainSet(new InputStreamReader(new FileInputStream(new File(financialName)), "UTF-8")); + + try (FileInputStream fis = new FileInputStream(new File(financialName)); // + InputStreamReader isr = new InputStreamReader(fis, "UTF-8")) { + financial = new DomainSet(isr); } catch (IOException e) { throw new Error(e); }