]> WPIA git - gigi.git/commitdiff
Fix: coverity resource leak
authorFelix Dörre <felix@dogcraft.de>
Thu, 19 Feb 2015 23:02:04 +0000 (00:02 +0100)
committerFelix Dörre <felix@dogcraft.de>
Thu, 19 Feb 2015 23:02:04 +0000 (00:02 +0100)
util-testing/org/cacert/gigi/util/SimpleSigner.java

index 04602d82c7b66db2ba0c8799a0366903219f68e4..32983a39f730426d2d188fe785885a1d7b6f06db 100644 (file)
@@ -58,7 +58,9 @@ public class SimpleSigner {
 
     public static void main(String[] args) throws IOException, SQLException, InterruptedException {
         Properties p = new Properties();
-        p.load(new FileReader("config/gigi.properties"));
+        try (FileReader reader = new FileReader("config/gigi.properties")) {
+            p.load(reader);
+        }
         DatabaseConnection.init(p);
 
         runSigner();