- kill $pid_server || echo 'failed to kill gnutls-serv'
- kill $pid_tlsproxy || echo 'failed to kill tlsproxy'
+ if test -n "$pid_server"; then
+ kill $pid_server || echo 'failed to kill gnutls-serv'
+ fi
+ if test -n "$pid_tlsproxy"; then
+ kill $pid_tlsproxy || echo 'failed to kill tlsproxy'
+ fi