stop_servers
exit 1
}
+tlsproxy_setup() {
+ "$srcdir/../src/tlsproxy-setup" >/dev/null 2>/dev/null
+}
+tlsproxy_add() {
+ "$srcdir/../src/tlsproxy-add" "$1" "$srcdir/$2" >/dev/null 2>&1
+}
tlsproxy() {
../src/tlsproxy -d2 "$@" >tlsproxy-log 2>&1 &
pid_tlsproxy=$!