하지만 MS도 나름의 방법이 있습니다. 따라서 간단히 말해서 동일한 문제가 발생하면 MS 지원팀에 문의하여 핫픽스를 요청해야 합니다. 이 문제가 발생한 서버는 Windows 업데이트를 통해 정기적으로 패치를 받는 것으로 알고 있습니다.

But MS has its own ways. So, the short answer of it is if you are facing the same issue, you need to contact MS Support and request the hotfix from them. The server where we saw this issue gets regularly patched with Windows Update I believe.