Changeset 33889 in osm for applications


Ignore:
Timestamp:
2017-11-25T01:29:53+01:00 (7 years ago)
Author:
donvip
Message:

update to JOSM 13007

Location:
applications/editors/josm/plugins/ext_tools
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/ext_tools/build.xml

    r33698 r33889  
    55    <property name="commit.message" value="ExtTools: help shortcut paser, rebuild"/>
    66    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    7     <property name="plugin.main.version" value="12726"/>
     7    <property name="plugin.main.version" value="13007"/>
    88
    99    <!-- Configure these properties (replace "..." accordingly).
  • applications/editors/josm/plugins/ext_tools/src/ext_tools/ExtTool.java

    r33698 r33889  
    55import java.awt.Cursor;
    66import java.awt.GridBagLayout;
    7 import java.io.File;
    87import java.io.IOException;
    98import java.io.InputStream;
     9import java.nio.charset.StandardCharsets;
    1010import java.util.ArrayList;
    1111import java.util.Arrays;
     
    187187        ProcessBuilder builder;
    188188        builder = new ProcessBuilder(cmdParams);
    189         builder.directory(new File(ExtToolsPlugin.plugin.getPluginDir()));
     189        builder.directory(ExtToolsPlugin.plugin.getPluginDirs().getUserDataDirectory(false));
    190190
    191191        final StringBuilder debugstr = new StringBuilder();
     
    219219                while ((len = errStream.read(buffer)) > 0) {
    220220                    synchronized (debugstr) {
    221                         debugstr.append(new String(buffer, 0, len));
     221                        debugstr.append(new String(buffer, 0, len, StandardCharsets.UTF_8));
    222222                    }
    223223                    System.err.write(buffer, 0, len);
  • applications/editors/josm/plugins/ext_tools/src/ext_tools/ExtToolsPlugin.java

    r21930 r33889  
    2121        plugin = this;
    2222
    23         File plugindir = new File(this.getPluginDir());
    24         if (!plugindir.exists())
    25             plugindir.mkdirs();
     23        File plugindir = getPluginDirs().getUserDataDirectory(true);
    2624
    2725        myTools = new ToolsInformation(new File(plugindir, "tools.cfg").getAbsolutePath());
Note: See TracChangeset for help on using the changeset viewer.