File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -60,7 +60,7 @@ remove_ready_file() {
6060do_cleanup () {
6161 echo " in cleanup"
6262
63- if [ $server_pid != $no_pid ] && kill -0 $server_pid
63+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
6464 then
6565 # sleep to give sanitizers time to dump backtraces.
6666 sleep 1
Original file line number Diff line number Diff line change @@ -63,7 +63,7 @@ remove_ready_file() {
6363abort_trap () {
6464 echo " script aborted"
6565
66- if [ $server_pid != $no_pid ] && kill -0 $server_pid
66+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
6767 then
6868 # sleep to give sanitizers time to dump backtraces.
6969 sleep 1
Original file line number Diff line number Diff line change @@ -148,7 +148,7 @@ do_cleanup() {
148148 sname=${f2%:* }
149149 pid=${f2##*: }
150150 port=${s##*: }
151- if kill -0 " $pid "
151+ if kill -0 " $pid " 2>& -
152152 then
153153 # sleep to give sanitizers time to dump backtraces.
154154 sleep $sleepseconds
Original file line number Diff line number Diff line change @@ -54,7 +54,7 @@ remove_ready_file() {
5454do_cleanup () {
5555 echo " in cleanup"
5656
57- if [ $server_pid != $no_pid ] && kill -0 $server_pid
57+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
5858 then
5959 # sleep to give sanitizers time to dump backtraces.
6060 sleep 1
@@ -69,7 +69,7 @@ do_cleanup() {
6969abort_trap () {
7070 echo " script aborted"
7171
72- if [ $server_pid != $no_pid ] && kill -0 $server_pid
72+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
7373 then
7474 # sleep to give sanitizers time to dump backtraces.
7575 sleep 1
Original file line number Diff line number Diff line change @@ -63,7 +63,7 @@ remove_ready_file() {
6363do_cleanup () {
6464 echo " in cleanup"
6565
66- if [ $server_pid != $no_pid ] && kill -0 $server_pid
66+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
6767 then
6868 # sleep to give sanitizers time to dump backtraces.
6969 sleep 1
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ remove_ready_file() {
4444do_cleanup () {
4545 echo " in cleanup"
4646
47- if [ $server_pid != $no_pid ] && kill -0 $server_pid
47+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
4848 then
4949 # sleep to give sanitizers time to dump backtraces.
5050 sleep 1
Original file line number Diff line number Diff line change @@ -74,7 +74,7 @@ remove_ready_file() {
7474do_cleanup () {
7575 echo " in cleanup"
7676
77- if [ $server_pid != $no_pid ] && kill -0 $server_pid
77+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
7878 then
7979 # sleep to give sanitizers time to dump backtraces.
8080 sleep 1
Original file line number Diff line number Diff line change @@ -87,7 +87,7 @@ remove_ready_file() {
8787do_cleanup () {
8888 echo " in cleanup"
8989
90- if [ $server_pid != $no_pid ] && kill -0 $server_pid
90+ if [ $server_pid != $no_pid ] && kill -0 $server_pid 2>& -
9191 then
9292 # sleep to give sanitizers time to dump backtraces.
9393 sleep 1
You can’t perform that action at this time.
0 commit comments