From 40e5a5811c6ffce9b0974e93cdd927cbcf60c157 Mon Sep 17 00:00:00 2001 From: Joe Hunkeler Date: Tue, 11 Aug 2015 16:51:37 -0400 Subject: Repatch (from linux) of OSX IRAF --- 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