On Sun, Dec 21, 2008 at 12:05:27 -0500, Gwern Branwen wrote: > > Good foresight. I don't think SSH needs factor into this at all. > > But isn't one of the things curl provides ssh pipelining or whatever?
We don't use curl for any SSH stuff at present. Zooko has requested it but now that we have the darcs transfer mode stuff implemented, I don't think it makes sense to complicate matters by trying to use it. And we have darcs transfer-mode that provides SSH connection sharing, but that's not curl-related, just plain old invocation of the ssh command. There is the HTTP pipelining feature that we use, which is indeed a performance issue. -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
