my $bindip = undef;
my $unpackname = $srcname;
my $diffname = $srcname.'.diff';
+my $agent = findAgent();
+
+sub findAgent {
+ my $agent;
+ my $ret = system('which curl');
+ if(($ret >> 8) == 0) {
+ # we prefer curl b/c it can handle gzip compression!
+ # we do IPv4 b/c either their IPv6 gateway or ours is SLOW
+ # UPDATE 2011/05: due to DDoS, IPv4 is swamped, IPv6 is only way!
+ $agent = 'curl --compressed --silent';
+ } else {
+ $agent = 'wget -q -O -';
+ }
+ return $agent;
+}
my $OPMDATA;
-unless(open $OPMDATA, '-|', "wget -q -O - $srcname") {
+unless(open $OPMDATA, '-|', "$agent $srcname") {
print STDERR "FATAL: Processing failed.\n";
exit -1;
}