Ignore:
Timestamp:
2018-04-19T20:37:16+02:00 (6 years ago)
Author:
Don-vip
Message:

see #16204 - Allow to start and close JOSM in WebStart sandbox mode (where every external access is denied). This was very useful to reproduce some very tricky bugs that occured in real life but were almost impossible to diagnose.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java

    r13450 r13647  
    33
    44import static org.openstreetmap.josm.tools.I18n.tr;
     5import static org.openstreetmap.josm.tools.Utils.getSystemEnv;
     6import static org.openstreetmap.josm.tools.Utils.getSystemProperty;
    57
    68import java.awt.Desktop;
     
    4547    public void preStartupHook() {
    4648        // See #12022 - Disable GNOME ATK Java wrapper as it causes a lot of serious trouble
    47         if ("org.GNOME.Accessibility.AtkWrapper".equals(System.getProperty("assistive_technologies"))) {
     49        if ("org.GNOME.Accessibility.AtkWrapper".equals(getSystemProperty("assistive_technologies"))) {
    4850            System.clearProperty("assistive_technologies");
    4951        }
     
    154156     */
    155157    public String getJavaPackageDetails() {
    156         String home = System.getProperty("java.home");
     158        String home = getSystemProperty("java.home");
    157159        if (home.contains("java-8-openjdk") || home.contains("java-1.8.0-openjdk")) {
    158160            return getPackageDetails("openjdk-8-jre", "java-1_8_0-openjdk", "java-1.8.0-openjdk");
     
    202204
    203205    private String buildOSDescription() {
    204         String osName = System.getProperty("os.name");
     206        String osName = getSystemProperty("os.name");
    205207        if ("Linux".equalsIgnoreCase(osName)) {
    206208            try {
     
    339341    private static File getDotDirectory() {
    340342        String dirName = "." + Main.pref.getJOSMDirectoryBaseName().toLowerCase(Locale.ENGLISH);
    341         return new File(System.getProperty("user.home"), dirName);
     343        return new File(getSystemProperty("user.home"), dirName);
    342344    }
    343345
     
    357359            return new File(getDotDirectory(), "cache");
    358360        } else {
    359             String xdgCacheDir = System.getenv("XDG_CACHE_HOME");
     361            String xdgCacheDir = getSystemEnv("XDG_CACHE_HOME");
    360362            if (xdgCacheDir != null && !xdgCacheDir.isEmpty()) {
    361363                return new File(xdgCacheDir, Main.pref.getJOSMDirectoryBaseName());
    362364            } else {
    363                 return new File(System.getProperty("user.home") + File.separator +
     365                return new File(getSystemProperty("user.home") + File.separator +
    364366                        ".cache" + File.separator + Main.pref.getJOSMDirectoryBaseName());
    365367            }
     
    372374            return getDotDirectory();
    373375        } else {
    374             String xdgConfigDir = System.getenv("XDG_CONFIG_HOME");
     376            String xdgConfigDir = getSystemEnv("XDG_CONFIG_HOME");
    375377            if (xdgConfigDir != null && !xdgConfigDir.isEmpty()) {
    376378                return new File(xdgConfigDir, Main.pref.getJOSMDirectoryBaseName());
    377379            } else {
    378                 return new File(System.getProperty("user.home") + File.separator +
     380                return new File(getSystemProperty("user.home") + File.separator +
    379381                        ".config" + File.separator + Main.pref.getJOSMDirectoryBaseName());
    380382            }
     
    387389            return getDotDirectory();
    388390        } else {
    389             String xdgDataDir = System.getenv("XDG_DATA_HOME");
     391            String xdgDataDir = getSystemEnv("XDG_DATA_HOME");
    390392            if (xdgDataDir != null && !xdgDataDir.isEmpty()) {
    391393                return new File(xdgDataDir, Main.pref.getJOSMDirectoryBaseName());
    392394            } else {
    393                 return new File(System.getProperty("user.home") + File.separator +
     395                return new File(getSystemProperty("user.home") + File.separator +
    394396                        ".local" + File.separator + "share" + File.separator + Main.pref.getJOSMDirectoryBaseName());
    395397            }
Note: See TracChangeset for help on using the changeset viewer.