From 878552c5445b110c387c016ef23b3c9f71358935 Mon Sep 17 00:00:00 2001
From: Adrian Kreher <akreher2@uiuc.edu>
Date: Fri, 12 Dec 2008 00:08:16 -0600
Subject: [PATCH] manual_fetch.pl: added curl support, and made it complain if
 curl nor wget are present

---
 manual_fetch.pl | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 manual_fetch.pl

diff --git a/manual_fetch.pl b/manual_fetch.pl
old mode 100644
new mode 100755
index 60b241d..4d03c62
--- a/manual_fetch.pl
+++ b/manual_fetch.pl
@@ -21,7 +21,15 @@ extract_tgz($tgz);
 
 sub http_fetch {
 	my $url = shift;
-	return qx{wget -O - '$url'};
+
+	# See if we should use wget or curl
+	if(grep {-x "$_/curl"} split /:/, $ENV{'PATH'}) {
+		return qx{curl -s '$url'};
+	} elsif(grep {-x "$_/wget"} split /:/, $ENV{'PATH'}) {
+		return qx{wget -O - '$url'};
+	} else {
+		die "Could not find curl or wget, aborting!";
+	}
 }
 
 sub extract_tgz {