I agree that simply using a single ssh connection for all requests, and pipelining them, is the right way to do it.
Regards, Zooko _______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
