tree 892a3cf8946d542b9b6633d4e2fc3e911355d8ea
parent 2872a65e36a1bf0020fc83fc475364fbf6940302
author Bernd Hufmann <Bernd.Hufmann@ericsson.com> 1582924663 -0500
committer Bernd Hufmann <bernd.hufmann@ericsson.com> 1583356579 -0500

trace-server: Save xml preferences after adding or deleting XML files

Without saving them, the xml files won't be enabled because the
enabled files are not saved since the xml.core.Activator is not called
during shutdown. Right now the RCP is just "killed" and proper shutdown
procedure needs to be implemented later on.

Change-Id: I7e8f4bb4ca3a0b44a9b0fe709fbbd6d77e5d1d0d
Signed-off-by: Bernd Hufmann <Bernd.Hufmann@ericsson.com>
Reviewed-on: https://git.eclipse.org/r/158615
Tested-by: Trace Compass Bot <tracecompass-bot@eclipse.org>
Reviewed-by: Matthew Khouzam <matthew.khouzam@ericsson.com>
Tested-by: Matthew Khouzam <matthew.khouzam@ericsson.com>