tree 9efe0056abfdcc7993737771dcf3a40e4ab0fc56
parent b0191ef9b8d0d581885b0d76907cf92a2158893a
author Mickael Istria <mistria@redhat.com> 1539276919 +0200
committer Mickael Istria <mistria@redhat.com> 1541844660 -0500

Bug 539417 - [navigator] avoid CancellationException on save operation

- Catch the CancellationException so it's not propagated
- Improve performance by using a cache so we don't recompute state for
unmodified branches of the resource tree.
- Extracted a method to remove nodes from cache, but keep cache
consistent.

Signed-off-by: Mickael Istria <mistria@redhat.com>
Change-Id: I40bb19d58447f2789e80ecb515fdbf9edd6be63f