Ticket #11787: rasterfilters.path.patch

File rasterfilters.path.patch, 2.6 KB (added by simon04, 10 years ago)

  • plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/RasterFiltersPlugin.java 

    diff --git a/plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/RasterFiltersPlugin.java b/plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/RasterFiltersPlugin.java
index 247fc6c..32e76c1 100644
    a b public class RasterFiltersPlugin extends Plugin implements LayerChangeListener {  
    4242                if (file.mkdir()) {
    4343
    4444                        // opening file with last user's settings
    45                         file = new File(file.getAbsoluteFile() + "\\urls.map");
     45                        file = new File(file.getAbsoluteFile(), "urls.map");
    4646                        if (!file.exists()) {
    4747                                try {
    4848                                        file.createNewFile();

  • plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/preferences/FiltersDownloader.java 

    diff --git a/plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/preferences/FiltersDownloader.java b/plugins/rasterfilters/src/org/openstreetmap/josm/plugins/rasterfilters/preferences/FiltersDownloader.java
index 039a721..91b354e 100644
    a b public class FiltersDownloader implements ActionListener {  
    219219        }
    220220
    221221        public static void initFilters() {
    222                 File file = new File(pluginDir + "\\urls.map");
     222                File file = new File(pluginDir, + "urls.map");
    223223                Main.debug("EXIST FILE? " + file.exists());
    224224
    225225                try {
    … … public class FiltersDownloader implements ActionListener {  
    285285
    286286        public static void loadBinariesFromMeta(Set<JsonObject> metaList) {
    287287
    288                 File file = new File(pluginDir + "\\urls.map");
     288                File file = new File(pluginDir, "urls.map");
    289289
    290290                FileWriter fileWriter = null;
    291291                BufferedWriter writer = null;
    … … public class FiltersDownloader implements ActionListener {  
    344344                        if (plugin.exists()) {
    345345
    346346                                String plugDir = plugin.getAbsolutePath();
    347                                 localFile = plugDir + "\\" + fromUrl.substring(m.end());
     347                                localFile = fromUrl.substring(m.end());
    348348
    349349                        }
    350350                }
    … … public class FiltersDownloader implements ActionListener {  
    352352                try {
    353353                        url = new URL(fromUrl);
    354354                        con = url.openConnection();
    355                         File file = new File(localFile);
     355                        File file = new File(plugDir, localFile);
    356356
    357357                        if (file.exists()) {
    358358                                Main.debug("File " + localFile + " already exists");
    … … public class FiltersDownloader implements ActionListener {  
    385385                return null;
    386386        }
    387387
    388 }
    389  No newline at end of file
     388}