> I asked this in case something like cygserver was running, or that your user > SID had changed in the meantime (f.e. due to domain migration). > That would actually require a proper reboot.
No domain migration, just a password change. It was properly rebooted, nonetheless. Anton Lavrentiev Contractor NIH/NLM/NCBI -- 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