We had noticed about an hour and 15 minutes later that the File Server domain was not loading, and a incident report was created by the system. We have fixed the issue, although it is not set to a static port, meaning it will try to change and may result in temporary outages with https://filecloud.thedogeking.online