Full update is not downloaded after applying partial update fails

I am hitting #40455 (comment 2737456) again after it had been fixed for a while.

@richard: did we change anything wrt logic in the last couple of days or so?

Edited by Georg Koppen