1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/sh
set -e
if [ -x "/etc/init.d/globus-scheduler-event-generator" ]; then
if [ -x "`which invoke-rc.d 2>/dev/null`" ]; then
invoke-rc.d globus-scheduler-event-generator stop pbs || :
else
/etc/init.d/globus-scheduler-event-generator stop pbs || :
fi
fi
#DEBHELPER#
if [ "$1" != "remove" -a "$1" != "purge" ]; then
exit 0
fi
globus-gatekeeper-admin -d jobmanager-pbs-seg > /dev/null 2>&1 || :
globus-scheduler-event-generator-admin -d pbs > /dev/null 2>&1 || :
exit 0
|
