maven-helper: cope with MITM web caches

dscho · dscho · commit 4e5f0f9e9019 · 2013-09-17T10:22:53.000-04:00
Ignacio Arganda-Carreras reported that one shy colleague of his
encountered a problem with building Fiji. The reason was identified as
a different HTTP version being reported than the maven helper expected,
due to a transparent web cache reporting version 1.0 while the ImageJ
artifact repository server reports 1.1.

Let's be a little bit more lenient and allow for HTTP/1.&lt;any-digit&gt;.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/maven-helper.sh b/maven-helper.sh
@@ -98,7 +98,7 @@ project_url () {
 		project_url="$root_url/releases/$infix"
 		header=$(curl -Is "$project_url/")
 		case "$header" in
-		"HTTP/1.1 200 OK"*)
+		HTTP/1.?" 200 OK"*)
 			;;
 		*)
 			project_url="$root_url/thirdparty/$infix"
