I have a home user who connects to our agency's network via Citrix. When this user clicks on the Citrix icon, "a Domain contoller could not be found for the specified domain" error comes up. I recently had a licensing issue where a few temporary licenses had expired and this user was affected. This issue has since been resolved. Is this a problem with the Citrix connection or this user's computer?