diff options
author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-02-14 11:02:24 +0000 |
---|---|---|
committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-02-14 11:02:24 +0000 |
commit | 82a3c64f0d53a12b7e076bbabfc1207d689c66b9 (patch) | |
tree | 33fd092236b45c2d8f9d90b87984d929648a2f8a /net/jrdesktop/files | |
parent | 6b10b52f2a2c60cc5d6a4b8bd127cb5638dbee0b (diff) | |
download | ports-82a3c64f0d53a12b7e076bbabfc1207d689c66b9.tar.gz ports-82a3c64f0d53a12b7e076bbabfc1207d689c66b9.zip |
- Update to 0.3.1.0
- STAGE-clean
- Switch to the jar-only distribution
Notes
Notes:
svn path=/head/; revision=344188
Diffstat (limited to 'net/jrdesktop/files')
-rw-r--r-- | net/jrdesktop/files/jrdesktop.in | 2 | ||||
-rw-r--r-- | net/jrdesktop/files/patch-src-jrdesktop_main.java | 47 |
2 files changed, 1 insertions, 48 deletions
diff --git a/net/jrdesktop/files/jrdesktop.in b/net/jrdesktop/files/jrdesktop.in index fc9ae0f17052..977782bc4c3e 100644 --- a/net/jrdesktop/files/jrdesktop.in +++ b/net/jrdesktop/files/jrdesktop.in @@ -1,5 +1,5 @@ #!/bin/sh -JRDESKTOP_JAR=%%JAVAJARDIR%%/jrdesktop.jar +JRDESKTOP_JAR=%%JAVAJARDIR%%/%%PORTNAME%%-%%PORTVERSION%%.jar %%JAVA%% -jar ${JRDESKTOP_JAR} display diff --git a/net/jrdesktop/files/patch-src-jrdesktop_main.java b/net/jrdesktop/files/patch-src-jrdesktop_main.java deleted file mode 100644 index 7d458ab04126..000000000000 --- a/net/jrdesktop/files/patch-src-jrdesktop_main.java +++ /dev/null @@ -1,47 +0,0 @@ ---- src/jrdesktop/main.java.orig 2008-05-27 13:52:51.000000000 +0200 -+++ src/jrdesktop/main.java 2008-05-27 14:00:39.000000000 +0200 -@@ -1,5 +1,7 @@ - package jrdesktop; - -+import java.io.File; -+ - import java.net.URL; - import java.util.jar.Attributes; - import java.util.jar.Manifest; -@@ -27,6 +29,8 @@ - public static final URL NORMAL_SCREEN_ICON = main.class.getResource("images/view_nofullscreen.png"); - public static final URL DEFAULT_SCREEN_ICON = main.class.getResource("images/default_screen.png"); - public static final URL CUSTOM_SCREEN_ICON = main.class.getResource("images/custom_screen.png"); -+ -+ public static String CONFIG_DIR; - - public static String CONFIG_FILE; - public static String SERVER_CONFIG_FILE; -@@ -37,14 +41,21 @@ - - public static void main (String args[]) { - if (System.getSecurityManager() == null) -- System.setSecurityManager(new SecurityMng()); -+ System.setSecurityManager(new SecurityMng()); -+ -+ CONFIG_DIR = System.getProperty("user.home") + File.separatorChar + ".jrdesktop"; -+ -+ File configDir = new File(CONFIG_DIR); -+ -+ if(!configDir.exists()) -+ configDir.mkdir(); - -- CONFIG_FILE = FileUtility.getCurrentDirectory() + "config"; -- SERVER_CONFIG_FILE = FileUtility.getCurrentDirectory() + "server.config"; -- VIEWER_CONFIG_FILE = FileUtility.getCurrentDirectory() + "viewer.config"; -+ CONFIG_FILE = CONFIG_DIR + File.separatorChar + "config"; -+ SERVER_CONFIG_FILE = CONFIG_DIR + File.separatorChar + "server.config"; -+ VIEWER_CONFIG_FILE = CONFIG_DIR + File.separatorChar + "viewer.config"; - -- KEY_STORE = FileUtility.getCurrentDirectory() + "keystore"; -- TRUST_STORE = FileUtility.getCurrentDirectory() + "truststore"; -+ KEY_STORE = CONFIG_DIR + File.separatorChar + "keystore"; -+ TRUST_STORE = CONFIG_DIR + File.separatorChar + "truststore"; - - System.getProperties().remove("java.rmi.server.hostname"); - |