From fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Wed, 8 Jul 2015 20:46:52 -0400
Subject: Initial commit

---
 vo/java/app.hub | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100755 vo/java/app.hub

(limited to 'vo/java/app.hub')

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
-- 
cgit