I was able to resume the update though I could not complete it due to lack of time. So it does seem to have been a server error. Thanks.
I was able to resume the update though I could not complete it due to lack of time. So it does seem to have been a server error. Thanks.