diff options
| author | JOGAMP WEB TEAM <[email protected]> | 2013-06-19 21:15:49 +0200 |
|---|---|---|
| committer | JOGAMP WEB TEAM <[email protected]> | 2013-06-19 21:15:49 +0200 |
| commit | cf105c58622f37789ce5f8667578834ec49b6320 (patch) | |
| tree | 45b72fd1995275d2c46cd644bca2f8fa00094cad /planet2/update-stream.sh | |
| parent | e8a7d441f7f98cb786d48e21db4e2f0fded07fdc (diff) | |
update-planet* use jre7
Diffstat (limited to 'planet2/update-stream.sh')
| -rw-r--r-- | planet2/update-stream.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/planet2/update-stream.sh b/planet2/update-stream.sh index 03ede32..e60745d 100644 --- a/planet2/update-stream.sh +++ b/planet2/update-stream.sh @@ -3,6 +3,8 @@ PLANET2=/srv/www/jogamp.org/planet2 cd $PLANET2 -export JAVA_HOME=$(readlink -f /usr/bin/javac | sed "s:bin/javac::") +export JRE_HOME=/opt-linux-x86_64/jre7 +# export JRE_HOME=$(readlink -f /usr/bin/java | sed "s:bin/java::") + +$JRE_HOME/bin/java -jar HungryHarry-SNAPSHOT-jar-with-dependencies.jar $PLANET2/config/stream-config.xml -$JAVA_HOME/bin/java -jar HungryHarry-SNAPSHOT-jar-with-dependencies.jar $PLANET2/config/stream-config.xml |