Changeset 5834 in josm for trunk/src/org/openstreetmap/josm

Timestamp:

2013-04-07T19:56:52+02:00 (11 years ago)

Author:

Don-vip

Message:

see #8570 - close stream after reading page from wiki

File:

• trunk/src/org/openstreetmap/josm/tools/WikiReader.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/tools/WikiReader.java

@@ -37 +37 @@
     public String read(String url) throws IOException {
         BufferedReader in = new BufferedReader(new InputStreamReader(new URL(url).openStream(), "utf-8"));
-        if (url.startsWith(baseurl) && !url.endsWith("?format=txt"))
-            return readFromTrac(in);
-        return readNormal(in);
+        try {
+            if (url.startsWith(baseurl) && !url.endsWith("?format=txt"))
+                return readFromTrac(in);
+            return readNormal(in);
+        } finally {
+            in.close();
+        }
     }
 
@@ -57 +61 @@
     private String readLang(URL url) throws IOException {
         InputStream in = url.openStream();
-        return readFromTrac(new BufferedReader(new InputStreamReader(in, "utf-8")));
+        try {
+            return readFromTrac(new BufferedReader(new InputStreamReader(in, "utf-8")));
+        } finally {
+            in.close();
+        }
     }