tree a0f7141c14cd08666418404a526e9549d8893dc6
parent 72f0df076cffbfd1873ab54ca1325fe6550873de
author Ed Merks <ed.merks@gmail.com> 1505916528 +0200
committer Ed Merks <ed.merks@gmail.com> 1505916528 +0200

[522495] Setup archiver could better handle bad server behavior

https://bugs.eclipse.org/bugs/show_bug.cgi?id=522495