public static String getStubPath() { String display = System.getenv("DISPLAY"); return System.getProperty("java.io.tmpdir") + "/ImageJ-" + System.getProperty("user.name") + "-" + (display == null ? "" : (display.replace(':', '_').replace('/', '_') + "-")) + ImageJ.getPort() + ".stub"; }
public static String getStubPath() { String display = System.getenv("DISPLAY"); if (display!=null) { display = display.replace(':', '_'); display = display.replace('/', '_'); } String tmpDir = System.getProperty("java.io.tmpdir"); if (!tmpDir.endsWith(File.separator)) tmpDir = tmpDir + File.separator; return tmpDir + "ImageJ-" + System.getProperty("user.name") + "-" + (display == null ? "" : display + "-") + ImageJ.getPort() + ".stub"; }
public static String getStubPath() { String display = System.getenv("DISPLAY"); if (display!=null) { display = display.replace(':', '_'); display = display.replace('/', '_'); } String tmpDir = System.getProperty("java.io.tmpdir"); if (!tmpDir.endsWith(File.separator)) tmpDir = tmpDir + File.separator; return tmpDir + "ImageJ-" + System.getProperty("user.name") + "-" + (display == null ? "" : display + "-") + ImageJ.getPort() + ".stub"; }