+set -e
+
+
+cleanup() {
+ rm -f \
+ tmp \
+ certificate-localhost-proxy.pem certificate-localhost-server.pem \
+ proxy-ca-key.pem proxy-ca.pem proxy-invalid.pem proxy-key.pem
+}
+stop_servers() {
+ kill $pid_server || echo 'failed to kill gnutls-serv'
+ kill $pid_tlsproxy || echo 'failed to kill tlsproxy'
+}