Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] Enable sub-second timeout in zsystem flock

X-seq: zsh-workers 45247
From: dana <dana@xxxxxxx>
To: Cedric Ware <cedric.ware__bml@xxxxxxxxxxxxxx>
Subject: Re: [PATCH] Enable sub-second timeout in zsystem flock
Date: Sun, 5 Jan 2020 15:49:56 -0600
Cc: "zsh-workers@xxxxxxx" <zsh-workers@xxxxxxx>
In-reply-to: <43775C64-0254-45AB-81AB-B04AE80C4416@dana.is>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20190729203521.upp5ku3bsr3hsnxq@phare.normalesup.org> <CAH+w=7brN4fjpbiwU2CGOdRG4sHXNijYf5v4Qzypa9mk5WaQtA@mail.gmail.com> <20200104184734.ienw42rwq2xu6aap@phare.normalesup.org> <43775C64-0254-45AB-81AB-B04AE80C4416@dana.is>

On 5 Jan 2020, at 12:42, dana <dana@xxxxxxx> wrote:
> It's kind of confusing that these are both named 'timeout' when they don't
> specifically have anything to do with the time-out

Actually, this caught my eye again and i realised that they're named that way
because the polling interval is only used when you give a time-out. So never
mind this part, the confusion was mine

dana

References:
- Re: [PATCH] Enable sub-second timeout in zsystem flock
  - From: Cedric Ware
- Re: [PATCH] Enable sub-second timeout in zsystem flock
  - From: dana

Messages sorted by: Reverse Date, Date, Thread, Author