public void Saved(ShellSettings settings)
{
// If this Saved() event was raised to restart the shell then let's not raise another restart event.
if (settings["IsShellRestart"] == "True")
{
settings["IsShellRestart"] = "False";
return;
}
_restartTriggerer.TriggerRestart(settings);
}
void IShellDescriptorManagerEventHandler.Changed(ShellDescriptor descriptor, string tenant)
{
_restartTriggerer.TriggerRestart(_shellSettings);
}
