diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-02-27 14:10:41 +0900 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2018-03-03 23:58:47 +0100 |
| commit | a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80 (patch) | |
| tree | 693697f63ae7a0ccd6c4e0f89ac7b7b9d1c5cd57 /org.eclipse.jgit.http.server | |
| parent | c0103bc59d5b4a539f01bc9c98610ab3f11be114 (diff) | |
| download | jgit-a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80.tar.gz jgit-a573dfc65803f73c5c1ae8d78bbaafa1c6be3f80.zip | |
Enable warning for resources not managed by try-with-resource
Change-Id: Iefe97de6bdb62af558f1b0e77c9205a9186f9b4c
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.http.server')
| -rw-r--r-- | org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs index 4d260cf480..565b75c658 100644 --- a/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs @@ -25,7 +25,7 @@ org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod= org.eclipse.jdt.core.compiler.problem.discouragedReference=warning org.eclipse.jdt.core.compiler.problem.emptyStatement=warning org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=ignore +org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=warning org.eclipse.jdt.core.compiler.problem.fallthroughCase=warning org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled org.eclipse.jdt.core.compiler.problem.fieldHiding=warning |