Changeset 5868 in josm for trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

Timestamp:

2013-04-15T19:12:01+02:00 (13 years ago)

Author:

stoecker

Message:

see #8606 - use JOSM agent also for WebStart, join help browser and WikiReader

File:

• trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java (modified) (1 diff)

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

@@ -71 +71 @@
             } else {
                 if (Main.applet) {
-                    URLConnection conn = url.openConnection();
-                    conn.setConnectTimeout(Main.pref.getInteger("socket.timeout.connect",15)*1000);
-                    conn.setReadTimeout(Main.pref.getInteger("socket.timeout.read",30)*1000);
-                    fs = new BufferedInputStream(conn.getInputStream());
+                    fs = new BufferedInputStream(Utils.openURL(url));
                     file = new File(url.getFile());
                 } else {