On Mon Oct 01 2018 at 06:45 AM +0200, Trek wrote: > to Bill Brelsford: please, can you try again if this new patch fixes the > problem? thank you!
No -- $CTRLFILE must already be there as it doesn't sleep ($timeout stays at 150). (Even so, it worked consistently for a number of boots, then began to fail consistently. Strange. Apparently it doesn't need much of a pause, on my hardware anyway..)
