From 86cb62f4047df31da47ab4662e5e54adb7c95270 Mon Sep 17 00:00:00 2001
From: Andrew Ruthven <andrew@etc.gen.nz>
Date: Sat, 3 Feb 2024 18:05:18 +1300
Subject: [PATCH] is_head_request is only used once, simplify

---
 testing/dav_test | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/testing/dav_test b/testing/dav_test
index 3d5657a2..e59e1452 100755
--- a/testing/dav_test
+++ b/testing/dav_test
@@ -56,7 +56,6 @@ push @arguments, "--verbose" if ( $debug );
 my $url;
 my $script;
 my @scripts = ( );
-my $is_head_request = 0;
 my @auth = ( "--user", "user1:user1" );
 
 if ( !defined($testdef) ) {
@@ -208,7 +207,7 @@ while( <TEST> ) {
 
   $line =~ /^\s*TYPE\s*=\s*(\S.*)$/ && do {
     if ( $1 eq "HEAD" ) {
-      $is_head_request = 1;
+      push @arguments, "--head";
     }
     else {
       push @arguments, "--request", $1;
@@ -247,8 +246,6 @@ EOERROR
   exit (2);
 }
 
-push @arguments, "--head" if ( $is_head_request );
-
 push @arguments, @auth;
 
 if ( -f $datafile ) {