No, that didn't happen to me. Perhaps it's because of the exact SKU's that I have, which don't check in the same way.  In this case, follow the trouble-shooting recommended on the linked page and comment out individual server addresses until you find the one that make it work again. Then remove the comment for the address that didn't break it.