On Tue, May 03, 2016 at 05:02:54PM -0400, Leo Famulari wrote: > What about if you also set --max-silent-time=70000?
My bad, with the additional option everything works. Thanks! I wonder if having only one time-out option would not be clearer? Andreas
