tests: adjust for capitalization differences in newer gnutls-serv

2014-07-11 23:43:13 +02:00
parent 4dc3a57718
commit d582c272a6
2 changed files with 4 additions and 3 deletions
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -1037,7 +1037,7 @@ sub verifyhttptls {
        close(FILE);
    }

-    if($data && ($data =~ /GNUTLS/) && open(FILE, "<$pidfile")) {
+    if($data && ($data =~ /(GNUTLS|GnuTLS)/) && open(FILE, "<$pidfile")) {
        $pid=0+<FILE>;
        close(FILE);
        if($pid > 0) {