On Thu, 20 Aug 2020, Christian Weisgerber via curl-library wrote:
The problem is in runhttp2server(). After ten attempts of
Ack. Does something like this fix it for you?
diff --git a/tests/runtests.pl b/tests/runtests.pl
index a409bcc75..f31bb1603 100755
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -1477,10 +1477,11 @@ sub runhttp2server {
if($http2pid <= 0 || !pidexists($http2pid)) {
# it is NOT alive
logmsg "RUN: failed to start the $srvrname server\n";
stopserver($server, "$pid2");
$doesntrun{$pidfile} = 1;
+ $http2pid = $pid2 = 0;
next;
}
$doesntrun{$pidfile} = 0;
if($verbose) {
--
/ daniel.haxx.se | Commercial curl support up to 24x7 is available!
| Private help, bug fixes, support, ports, new features
| https://www.wolfssl.com/contact/
-------------------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library
Etiquette: https://curl.haxx.se/mail/etiquette.html
