]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d20363b) | patch
RefDirectory#hasLooseRef: Fix stream resource leak reported by error-prone 45/115145/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 10 Jan 2018 07:30:28 +0000 (16:30 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 10 Jan 2018 07:39:20 +0000 (16:39 +0900)
commit338d0a81bb29ffedaef83024db1b1f8026841af5
tree7f3279d4ceb54342586899937a4239f6873bb712tree | snapshot
parentd20363b114d11e183a4c9464ab0dc24061223f2ecommit | diff
RefDirectory#hasLooseRef: Fix stream resource leak reported by error-prone

Error-prone reports:

  [StreamResourceLeak] Streams that encapsulate a closeable resource
  should be closed using try-with-resources

Change-Id: I86154fba2b896723feaecf8991ed3c8e96ea2499
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/RefDirectory.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit