diff options
author | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-13 01:31:08 +0100 |
---|---|---|
committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-14 17:02:36 +0100 |
commit | 7014d050d9738ae5ed8cd92e19a0cbb91d703025 (patch) | |
tree | e53d6b8f4e360ebaa545e63a90094b59b6791c13 | |
parent | ff23f3249b775713da7ded13ac1e91526645718e (diff) |
run_tests: make travis happy, use signal nr instead of name
-rwxr-xr-x | tests/scripts/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/scripts/run_tests.sh b/tests/scripts/run_tests.sh index b721414..3cb139a 100755 --- a/tests/scripts/run_tests.sh +++ b/tests/scripts/run_tests.sh @@ -112,8 +112,8 @@ start_tinyproxy() { reload_config() { echo -n "signaling tinyproxy to reload config..." pid=$(cat $TINYPROXY_PID_FILE) - kill -s SIGHUP $pid - echo + #1: SIGHUP + kill -1 $pid && echo "ok" || echo "fail" } stop_tinyproxy() { |