Re: [JGIT PATCH 2/6] Add remote.name.timeout to configure an IO timeout
- From
Robin Rosenberg <robin.rosenberg.lists@dewire.com>
- Date
- Jun 20, 2009, 22:28 UTC
- Message-ID
- <200906210028.48954.robin.rosenberg.lists@dewire.com>
- In-Reply-To
- <1245446875-31102-3-git-send-email-spearce@spearce.org>
fredag 19 juni 2009 23:27:51 skrev "Shawn O. Pearce" <spearce@spearce.org>:
Show 5 quoted lines
> An IO timeout can be useful if the remote peer stops responding, > and the user wants the application to abort rather than block > indefinitely waiting for more input. > > This is a JGit specific extension to the standard remote format.
Can we we assume C Git won't implement the same thing with a different parameter name, or worse, the same name, but a different unit?
-- robin