This file is indexed.

/usr/share/arc/cancel-SLURM-job is in nordugrid-arc-arex 5.0.5-1ubuntu1.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 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
#!/bin/sh
# set -x
# 
#  Cancel job running in SLURM.
#  Input: grami file (same as Globus)

echo "----- starting cancel_slurm_job -----" 1>&2

joboption_lrms=SLURM

# ARC1 passes first the config file.
if [ "$1" = "--config" ]; then shift; ARC_CONFIG=$1; shift; fi

basedir=`dirname $0`
basedir=`cd $basedir > /dev/null && pwd` || exit $?

pkgdatadir="$basedir"

. ${pkgdatadir}/cancel_common.sh || exit $?

verify_jobid $joboption_jobid || exit 1
    
echo "executing scancel with job id $joboption_jobid" 1>&2
"${scancel}" "${joboption_jobid}"
if [ "$?" != "0" ];then
    echo "scancel failed" 1>&2
fi

echo "----- exiting cancel_slurm_job -----" 1>&2
exit 0