| commit | cba980c150e28fd3de17e3c740f72e352a21f33a | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Sat Dec 28 09:03:40 2019 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Sat Dec 28 09:03:40 2019 +0100 |
| tree | 5d3ac2aa89863144d03de3d8f6c68635fe9eb729 | |
| parent | bfa41abc801103b4b3837a23d1bb61b03fe7c588 [diff] |
[558589] Handle failure to save defaults more gracefully. Don't save at all if the defaults aren't different from the existing defaults, and only log an exception (not throw one) when saving fails. https://bugs.eclipse.org/bugs/show_bug.cgi?id=558589