Re: [PATCH] http-push: making HTTP push more robust and more user-friendly
- From
- Grégoire Barbier <devel@gbarbier.org>
- Date
- Jan 21, 2008, 10:09 UTC
- Message-ID
- <47946F67.5060601@gbarbier.org>
- In-Reply-To
- <7vbq7ppbyh.fsf@gitster.siamese.dyndns.org>
Junio C Hamano a écrit :
Show 9 quoted lines
> Also http-push being unusable without CURL_MULTI was also a news > to me. Is this something that came up on #git perhaps? > > This change means people need curl 7.10 or newer (post May 2003, > that is). I do not think it is too new a version to require, > but then it makes me wonder if it makes much sense for us to > keep supporting non CURL_MULTI build these days. Perhaps we > should schedule such a move to drop non MULTI build in the > future?
In fact, it's not curl 7.10 but curl 7.16 (those guys working on curl speak hexa). See commit 9cf04301b182c4c57d62ea63554d109db613f9d3
However... http-push is anyway broken without USE_CURL_MULTI.
-- Grégoire Barbier - gb à gbarbier.org - +33 6 21 35 73 49