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
