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.topcat | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100755 vo/java/app.topcat

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

diff --git a/vo/java/app.topcat b/vo/java/app.topcat
new file mode 100755
index 00000000..e69f9134
--- /dev/null
+++ b/vo/java/app.topcat
@@ -0,0 +1,46 @@
+#!/bin/csh -fx
+
+unalias ps egrep java
+
+set dir   = `dirname $0`
+set me    = `whoami`
+set pid   = `ps -fwu $me | egrep -i topcat | egrep -i Driver` 	#  MACHDEP
+set npid  = $#pid
+if ($npid == 0) then
+    #  No TOPCAT running, check for a JSAMP/Aladin Hub.
+    set pid   = `ps -fwu $me | egrep -i hub | egrep -i "jsamp|aladin"`
+    set npid  = $#pid
+    set is_topcat = 0
+else
+    set is_topcat = 1
+endif
+
+set jar   = topcat-full.jar
+
+
+if ($#argv > 0) then
+    if ("$1" == "-bg") then
+        if ($npid == 0 && $is_topcat == 0) then
+	    # No Hub running that we know about, clear out dreg .samp file.
+            /bin/rm -rf ~/.samp
+	endif
+        exec ${dir}/topcat &
+
+    else if ("$1" == "-kill") then
+        kill -9 $pid[2]
+
+    else if ("$1" == "-status") then
+        if ($npid == 0 && $is_topcat == 0) then
+	    echo "off"
+        else
+	    echo "on"
+        endif
+
+    endif
+else
+    if ($npid == 0 && $is_topcat == 0) then
+	# No Hub running that we know about, clear out dreg .samp file.
+        /bin/rm -rf ~/.samp
+    endif
+    exec ${dir}/topcat
+endif
-- 
cgit