You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
353 B
14 lines
353 B
(
|
|
set -e
|
|
|
|
TMPDIR="$TMPDIR/shared/single-node.tmp"
|
|
if [ ! -d "$TMPDIR" ]; then exit 0; fi
|
|
|
|
lock_file="$TMPDIR/.run/isle/lock"
|
|
if [ ! -e "$lock_file" ]; then exit 0; fi
|
|
|
|
pid="$(cat "$lock_file")"
|
|
echo "killing shared single node cluster (process: $pid)"
|
|
kill "$pid"
|
|
while [ -e "$TMPDIR/.run/isle" ]; do sleep 1; done
|
|
)
|
|
|