diff options
| author | Jiri Vanek <[email protected]> | 2013-03-21 18:14:53 +0100 |
|---|---|---|
| committer | Jiri Vanek <[email protected]> | 2013-03-21 18:14:53 +0100 |
| commit | 801416024f13b7a29fcf4b8977bc1d4b4818934b (patch) | |
| tree | f8527ef257c22bbb421c1a7fd38fc489bbd03fbe /launcher/javaws.in | |
| parent | e5d268d91f8111fc3c8a7a68b09472f608cdfbae (diff) | |
Launchers made aware of custom set JRE
* luncher/itweb-settings.in:
* launcher/javaws.in:
are now scanning ~/.icedtea/deployment.properties and /etc/.java/.deploy/deployment.properties for deployment.jre.dir property. If found, then its java and rt.jar are used to launch applications.
Diffstat (limited to 'launcher/javaws.in')
| -rw-r--r-- | launcher/javaws.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/launcher/javaws.in b/launcher/javaws.in index ae9a24d..300672c 100644 --- a/launcher/javaws.in +++ b/launcher/javaws.in @@ -9,6 +9,16 @@ SPLASH_LOCATION=@JAVAWS_SPLASH_LOCATION@ PROGRAM_NAME=javaws CP=@JRE@/lib/rt.jar +CUSTOM_JRE_REGEX="^deployment.jre.dir *= *" +CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" ~/.icedtea/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"` +if [ "x$CUSTOM_JRE" = "x" ] ; then + CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" /etc/.java/.deploy/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"` +fi; +if [ "x$CUSTOM_JRE" != "x" ] ; then + JAVA=$CUSTOM_JRE/bin/java + CP=$CUSTOM_JRE/lib/rt.jar +fi; + JAVA_ARGS=( ) ARGS=( ) COMMAND=() |