+kill $pid_server || echo 'failed to kill gnutls-serv'
+sleep 3 # necessary on some systems like OpenBSD
+server_background --x509certfile "$srcdir/server-bad.pem" \
+ --x509keyfile "$srcdir/server-key.pem"
+wait_for_ports 4712
+rm -f certificate-localhost-proxy.pem certificate-localhost-server.pem