diff options
Diffstat (limited to 'vo/java/app.hub')
| -rwxr-xr-x | vo/java/app.hub | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/vo/java/app.hub b/vo/java/app.hub new file mode 100755 index 00000000..6abc8562 --- /dev/null +++ b/vo/java/app.hub @@ -0,0 +1,52 @@ +#!/bin/csh -f + +unalias ps egrep java + +set dir = `dirname $0` +set me = `whoami` +set pid = `ps -fwu $me | egrep -i hub | egrep -i jsamp` # MACHDEP +set npid = $#pid +if ($npid == 0) then + # No JSAMP running, check for a Topcat/Aladin Hub. + set pid = `ps -fwu $me | egrep -i hub | egrep -i "topcat|aladin"` + set npid = $#pid + set is_jsamp = 0 +else + set is_jsamp = 1 +endif + +set jar = jsamp-1.3-2.jar + +set mode = "-mode client-gui" + +if ($#argv > 0) then + if ("$2" == "-no-gui") then + set mode = "-mode no-gui" + if (! ($?DISPLAY)) then + setenv DISPLAY :0 + endif + endif + + if ("$1" == "-bg") then + if ($npid == 0 && $is_jsamp == 0) then + /bin/rm -rf ~/.samp + endif + exec java -jar ${dir}/$jar hub ${mode} & + + else if ("$1" == "-kill") then + kill -9 $pid[2] + + else if ("$1" == "-status") then + if ($npid == 0 && $is_jsamp == 0) then + echo "off" + else + echo "on" + endif + + endif +else + if ($npid == 0 && $is_jsamp == 0) then + /bin/rm -rf ~/.samp + endif + exec java -jar ${dir}/$jar hub ${mode} +endif |