On Tue, Nov 29, 2022 at 11:36:59AM -0800, Matthew Sotoudeh via Mutt-dev wrote:
Thanks for pointing that out !To second Kevin's comments below, I personally didn't find a SNDTIMEO necessary. Also worth noting that, at least in my case, large writes (sending email, etc.) happen while I'm sitting down, so a much more stable network connection vs., e.g., background downloading of new mail. Happy to add a SO_SNDTIMEO while we're at it just in case/for consistency, though, if people prefer that.
Since setsockopt() itself separates the timeout types, I wouldn't be opposed to adding both a $socket_receive_timeout and $socket_send_timeout config setting. That way, if for some reason a person wanted or needed to tweak them separately, they can.
These are definitely "advanced tweaking" options, so I think it's okay to separate them. But if we add both I like having a common "socket_" prefix so they are grouped in the manual, and it's immediately clear they are referring to socket settings.
-- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
signature.asc
Description: PGP signature
