88e2f7cffdcada2d02ce782bb07b7594a12fd431 - gerrit/epp/org.eclipse.epp.logging - Git at Google

commit: 88e2f7cffdcada2d02ce782bb07b7594a12fd431
[log] [tgz]
author: Daniel Haftstein <haftsteind@gmail.com>
Wed Oct 19 16:25:41 2016 +0200
committer: Daniel Haftstein <haftsteind@gmail.com>
Wed Oct 26 11:48:26 2016 +0200
tree: 9d12bea19487fa0df3f2d9488685cc42f2ebdb66
parent: 4d0e65d75981c60b40bbc2eaa83d1ec86261246d [diff]

Download problem index only if system & server enabled

-Download check on startup & when settings change
-Avoid duplicate downloads

Bug: 471778
Change-Id: Id7942312335e73fe70837667e3d46c35e658506e
Signed-off-by: Daniel Haftstein <haftsteind@gmail.com>

3 files changed

tree: 9d12bea19487fa0df3f2d9488685cc42f2ebdb66