-
Florian Pritz authored
We sometimes get various types of exception (timeouts, SSL errors, broken remove servers). Running the script again will error at the same point. Instead of terminating the current run, we now try to complete as much as possible by pushing on. Signed-off-by: Florian Pritz <bluewind@xinu.at>
a6c599ff