[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: About the io_select call
From: |
Richard Braun |
Subject: |
Re: About the io_select call |
Date: |
Sun, 22 Jul 2012 17:27:00 +0200 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Sun, Jul 22, 2012 at 02:20:21PM +0200, Ludovic Courtès wrote:
> It is a “waittime” parameter, which gets special treatment from MIG.
> This is somewhat documented in
> <http://www.cs.cmu.edu/afs/cs/project/mach/public/doc/unpublished/mig.ps>.
All right, I got confused because I've been looking for the raw string
"waittime" in the MiG code, whereas the parser seems to be case
insensitive... Thanks for your reply.
--
Richard Braun