I don't know if it's resolved or not. We had a whole flurry of issues with this when a bunch of our users upgraded to Windows 10. Most of them "solved" the problem by switching to using the dotted-decimal IP addresses for our local servers. (Which will continue to work as long as we don't move any of our servers to new IP addresses.) In the last several weeks, we haven't had any more instances of the problem. If it does come up again, I'll get them to re-download the client software and see if that solved the problem.
↧