mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
58 lines
1.9 KiB
Bash
58 lines
1.9 KiB
Bash
# ------------------------------------------------------------------------------
|
|
# vim:ts=4:et
|
|
# This file is part of solidity.
|
|
#
|
|
# solidity is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# solidity is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with solidity. If not, see <http://www.gnu.org/licenses/>
|
|
#
|
|
# (c) 2016-2019 solidity contributors.
|
|
# ------------------------------------------------------------------------------
|
|
|
|
if [ "$CIRCLECI" ]
|
|
then
|
|
export TERM="${TERM:-xterm}"
|
|
function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput setaf 7)"; }
|
|
function printError() { echo "$(tput setaf 1)$1$(tput setaf 7)"; }
|
|
function printLog() { echo "$(tput setaf 3)$1$(tput setaf 7)"; }
|
|
else
|
|
function printTask() { echo "$(tput bold)$(tput setaf 2)$1$(tput sgr0)"; }
|
|
function printError() { echo "$(tput setaf 1)$1$(tput sgr0)"; }
|
|
function printLog() { echo "$(tput setaf 3)$1$(tput sgr0)"; }
|
|
fi
|
|
|
|
safe_kill()
|
|
{
|
|
local PID=${1}
|
|
local NAME=${2:-${1}}
|
|
local n=1
|
|
|
|
# only proceed if $PID does exist
|
|
kill -0 $PID 2>/dev/null || return
|
|
|
|
echo "Sending SIGTERM to ${NAME} (${PID}) ..."
|
|
kill $PID
|
|
|
|
# wait until process terminated gracefully
|
|
while kill -0 $PID 2>/dev/null && [[ $n -le 4 ]]; do
|
|
echo "Waiting ($n) ..."
|
|
sleep 1
|
|
n=$[n + 1]
|
|
done
|
|
|
|
# process still alive? then hard-kill
|
|
if kill -0 $PID 2>/dev/null; then
|
|
echo "Sending SIGKILL to ${NAME} (${PID}) ..."
|
|
kill -9 $PID
|
|
fi
|
|
}
|