Unverified Commit cd8fb2d0 authored by Fangyi Zhou's avatar Fangyi Zhou Committed by Fangyi Zhou
Browse files

Add termination signal handler

parent 1b3d636c
#!/bin/bash
set -e
SID=$(ps -p $$ --no-headers -o sid)
die () {
pkill -s $SID --signal SIGINT
}
trap die SIGINT
location="$(dirname "$(readlink -f "$0")")"
pushd $location > /dev/null
......
#!/bin/bash
set -e
SID=$(ps -p $$ --no-headers -o sid)
die () {
pkill -s $SID --signal SIGINT
}
trap die SIGINT
location="$(dirname "$(readlink -f "$0")")"
pushd $location > /dev/null
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment