Changeset 4145 in josm

Timestamp:

2011-06-19T15:11:18+02:00 (13 years ago)

Author:

stoecker

Message:

see #6213 - do more file closes hopefully fixing some update problems under windows

Location:

trunk/src/org/openstreetmap/josm

Files:

• data/imagery/ImageryLayerInfo.java (modified) (1 diff)
• gui/tagging/TaggingPreset.java (modified) (1 diff)
• io/MirroredInputStream.java (modified) (2 diffs)
• plugins/PluginInformation.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/imagery/ImageryLayerInfo.java

@@ -58 +58 @@
                 }
                 MirroredInputStream s = new MirroredInputStream(source, -1);
-                InputStreamReader r;
-                try
-                {
-                    r = new InputStreamReader(s, "UTF-8");
-                }
-                catch (UnsupportedEncodingException e)
-                {
-                    r = new InputStreamReader(s);
-                }
-                BufferedReader reader = new BufferedReader(r);
-                String line;
-                while((line = reader.readLine()) != null)
-                {
-                    String val[] = line.split(";");
-                    if(!line.startsWith("#") && (val.length == 3 || val.length == 4)) {
-                        boolean force = "true".equals(val[0]);
-                        String name = tr(val[1]);
-                        String url = val[2];
-                        String eulaAcceptanceRequired = null;
+                try {
+                    InputStreamReader r;
+                    try
+                    {
+                        r = new InputStreamReader(s, "UTF-8");
+                    }
+                    catch (UnsupportedEncodingException e)
+                    {
+                        r = new InputStreamReader(s);
+                    }
+                    BufferedReader reader = new BufferedReader(r);
+                    String line;
+                    while((line = reader.readLine()) != null)
+                    {
+                        String val[] = line.split(";");
+                        if(!line.startsWith("#") && (val.length == 3 || val.length == 4)) {
+                            boolean force = "true".equals(val[0]);
+                            String name = tr(val[1]);
+                            String url = val[2];
+                            String eulaAcceptanceRequired = null;
 
-                        if (val.length == 4) {
-                            // 4th parameter optional for license agreement (EULA)
-                            eulaAcceptanceRequired = val[3];
-                        }
+                            if (val.length == 4) {
+                                // 4th parameter optional for license agreement (EULA)
+                                eulaAcceptanceRequired = val[3];
+                            }
 
-                        defaultLayers.add(new ImageryInfo(name, url, eulaAcceptanceRequired));
+                            defaultLayers.add(new ImageryInfo(name, url, eulaAcceptanceRequired));
 
-                        if (force) {
-                            defaultsSave.add(url);
-                            if (!defaults.contains(url)) {
-                                for (ImageryInfo i : layers) {
-                                    if ((i.getImageryType() == ImageryType.WMS && url.equals(i.getUrl()))
-                                            || url.equals(i.getFullUrl())) {
-                                        force = false;
+                            if (force) {
+                                defaultsSave.add(url);
+                                if (!defaults.contains(url)) {
+                                    for (ImageryInfo i : layers) {
+                                        if ((i.getImageryType() == ImageryType.WMS && url.equals(i.getUrl()))
+                                                || url.equals(i.getFullUrl())) {
+                                            force = false;
+                                        }
                                     }
-                                }
-                                if (force) {
-                                    add(new ImageryInfo(name, url));
+                                    if (force) {
+                                        add(new ImageryInfo(name, url));
+                                    }
                                 }
                             }
                         }
                     }
+                } finally {
+                    s.close();
                 }
             }

trunk/src/org/openstreetmap/josm/gui/tagging/TaggingPreset.java

@@ -1232 +1232 @@
 
     public static Collection<TaggingPreset> readAll(String source, boolean validate) throws SAXException, IOException {
+        Collection<TaggingPreset> tp;
         MirroredInputStream s = new MirroredInputStream(source);
-        InputStream zip = s.getZipEntry("xml","preset");
-        if(zip != null) {
-            zipIcons = s.getFile();
-        }
-        InputStreamReader r;
-        try
-        {
-            r = new InputStreamReader(zip == null ? s : zip, "UTF-8");
-        }
-        catch (UnsupportedEncodingException e)
-        {
-            r = new InputStreamReader(zip == null ? s: zip);
-        }
-        return TaggingPreset.readAll(new BufferedReader(r), validate);
+        try {
+            InputStream zip = s.getZipEntry("xml","preset");
+            if(zip != null) {
+                zipIcons = s.getFile();
+            }
+            InputStreamReader r;
+            try {
+                r = new InputStreamReader(zip == null ? s : zip, "UTF-8");
+            } catch (UnsupportedEncodingException e) {
+                r = new InputStreamReader(zip == null ? s: zip);
+            }
+            try {
+                tp = TaggingPreset.readAll(new BufferedReader(r), validate);
+            } finally {
+                r.close();
+            }
+        } finally {
+            s.close();
+        }
+        return tp;
     }
 

trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

@@ -221 +221 @@
             conn.setReadTimeout(5000);
             bis = new BufferedInputStream(conn.getInputStream());
-            bos = new BufferedOutputStream( new FileOutputStream(destDirFile));
+            FileOutputStream fos = new FileOutputStream(destDirFile);
+            bos = new BufferedOutputStream(fos);
             byte[] buffer = new byte[4096];
             int length;
@@ -229 +230 @@
             bos.close();
             bos = null;
+            /* close fos as well to be sure! */
+            fos.close();
+            fos = null;
             file = new File(destDir, localPath);
-            destDirFile.renameTo(file);
-            Main.pref.putCollection(prefKey, Arrays.asList(new String[]
-            {Long.toString(System.currentTimeMillis()), file.toString()}));
+            if(destDirFile.renameTo(file)) {
+                Main.pref.putCollection(prefKey, Arrays.asList(new String[]
+                {Long.toString(System.currentTimeMillis()), file.toString()}));
+            } else {
+                System.out.println(tr("Failed to rename file {0} to {1}.",
+                destDirFile.getPath(), file.getPath()));
+            }
         } catch (IOException e) {
             if (age >= maxTime*1000 && age < maxTime*1000*2) {

trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -79 +79 @@
         this.name = name;
         this.file = file;
+        FileInputStream fis = null;
         JarInputStream jar = null;
         try {
-            jar = new JarInputStream(new FileInputStream(file));
+            fis = new FileInputStream(file);
+            jar = new JarInputStream(fis);
             Manifest manifest = jar.getManifest();
             if (manifest == null)
@@ -93 +95 @@
                 try {
                     jar.close();
+                } catch(IOException e) { /* ignore */ }
+            }
+            if (fis != null) {
+                try {
+                    fis.close();
                 } catch(IOException e) { /* ignore */ }
             }