Hi Cygwin, I didn't do anything to fix it, but today the problem doesn't recur.
There was a power failure last night. Other than that, a reset was done but I don't think the machine was turned off. It certainly wasn't unplugged.
Thanks, Frank -- Problem reports: https://cygwin.com/problems.html FAQ: https://cygwin.com/faq/ Documentation: https://cygwin.com/docs.html Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
