kill $pid_server || echo 'failed to kill gnutls-serv'
server --x509certfile "$srcdir/server-bad.pem" \
--x509keyfile "$srcdir/server-key.pem"
kill $pid_server || echo 'failed to kill gnutls-serv'
server --x509certfile "$srcdir/server-bad.pem" \
--x509keyfile "$srcdir/server-key.pem"