blob: 3322fe23d8bc59a6ffbbd088822fc03672e676c9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
#!/bin/csh -f
unalias ps egrep java
set dir = `dirname $0`
set me = `whoami`
set pid = `ps -fwu $me | egrep -v grep | egrep -i Aladin.jar` # MACHDEP
set npid = $#pid
if ($npid == 0) then
# No Aladin running, check for a JSAMP/TOPCAT Hub.
set pid = `ps -fwu $me | egrep -i hub | egrep -i "jsamp|topcat"`
set npid = $#pid
set is_aladin = 0
else
set is_aladin = 1
endif
set jar = Aladin.jar
if ($#argv > 0) then
if ("$1" == "-bg") then
if ($npid == 0 && $is_aladin == 0) then
# No Hub running that we know about, clear out dreg .samp file.
/bin/rm -rf ~/.samp
endif
exec ${dir}/aladin &
else if ("$1" == "-kill") then
kill -9 $pid[2]
/bin/rm -rf ~/.samp
else if ("$1" == "-status") then
if ($npid == 0 && $is_aladin == 0) then
echo "off"
else
echo "on"
endif
endif
else
if ($npid == 0 && $is_aladin == 0) then
/bin/rm -rf ~/.samp
endif
exec ${dir}/aladin
endif
|
